module Closure_properties

: sig

module type MUTEX = sig

type t

val create : unit -> t

val lock : t -> unit

val try_lock : t -> bool

val unlock : t -> unit

end

module Make : functor (Mutex : MUTEX) -> sig

val record : Obj.t -> Obj.t -> int

record c v links the lifetimes of c and v, ensuring that v is not collected while c is still live. The return value is a key that can be used to retrieve v while v is still live.

val retrieve : int -> Obj.t

retrieve v retrieves a value using a key returned by record, or raises Not_found if v is no longer live.

end