CommonPriv.Locksets
module MustLockset = LockDomain.MustLockset
val current_lockset : Q.ask -> MustLockset.t
module MinLocksets : sig ... end