Module Ancient

type 'a ancient
val mark : 'a -> 'a ancient
val follow : 'a ancient -> 'a
val delete : 'a ancient -> unit
val is_ancient : 'a -> bool
val address_of : 'a -> nativeint
type md
val attach : Unix.file_descr -> nativeint -> md
val detach : md -> unit
val share : md -> int -> 'a -> 'a ancient
val get : md -> int -> 'a ancient
type info = {
i_size : int;
}
val mark_info : 'a -> 'a ancient * info
val share_info : md -> int -> 'a -> 'a ancient * info