module Lock: Lock.S with type ('a,'b) reagent = ('a,'b) R.t
Lock.S
with type ('a,'b) reagent = ('a,'b) R.t