MyParam (p.goblint.1.1.1.doc.goblint.lib.Osek.Spec.MyParam)

module G = LockDomain.Priorities

val effect_fun : 
  ?write:bool ->
  LockDomain.Lockset.t ->
  [> `Bot | `Lifted of int64 ]

val check_fun : 
  ?write:bool ->
  LockDomain.Lockset.t ->
  [> `Bot | `Lifted of int64 ]