Up – Package index » goblint » Library goblint.lib » CommonPriv » Locksets

Module `CommonPriv.Locksets`

module Lock = LockDomain.Addr

module Lockset : sig ... end

val conv_offset : 
  ([< `Field of 'b * 'a | `Index of 'c * 'a | `NoOffset ] as 'a) ->
  [> `Field of 'b * 'd | `Index of IdxDom.t * 'd | `NoOffset ] as 'd

val current_lockset : Q.ask -> Lockset.t

module MinLocksets : sig ... end