carton.thin
IO.Mutex
carton
type 'a fiber = 'a t
type t
val create : unit -> t
val lock : t -> unit fiber
val unlock : t -> unit