Functor Reagents_sync.Make.Recursive_lock

module Recursive_lock: 
functor (Tid : sig

val get_tid : unit -> int
end) -> Recursive_lock.S  
    with type ('a,'b) reagent = ('a,'b) R.t