module ReadWriteLock: sig .. end
sig
end
type t
val make_reentrant : bool -> t
bool -> t
val read_lock : t -> Lock.t
t -> Lock.t
val write_lock : t -> Lock.t