LockDomain.MustLockRWtype t = MustLock.t * RW.tval hash : t -> intval arbitrary : unit -> (MustLock.t * RW.t) QCheck.arbitraryval pretty : unit -> (MustLock.t * bool) -> Printable.Pretty.docval show : t -> stringval printXml : 'a BatInnerIO.output -> t -> unitval to_yojson : t -> [> `String of string ]