Module Blocking.Rwlock
val rdlock : (Types.Rwlock.t Ctypes_static.ptr -> unit F.return) F.result
val wrlock : (Types.Rwlock.t Ctypes_static.ptr -> unit F.return) F.result
Blocking.Rwlock
val rdlock : (Types.Rwlock.t Ctypes_static.ptr -> unit F.return) F.result
val wrlock : (Types.Rwlock.t Ctypes_static.ptr -> unit F.return) F.result