Module Blocking.Condition
val wait : (Types.Condition.t Ctypes_static.ptr -> Types.Mutex.t Ctypes_static.ptr -> unit F.return) F.result
val timedwait : (Types.Condition.t Ctypes_static.ptr -> Types.Mutex.t Ctypes_static.ptr -> Unsigned.uint64 -> int F.return) F.result