Domain.DLS
type 'a key = 'a ref
val new_key : (unit -> 'a) -> 'a ref
val get : 'a ref -> 'a
val set : 'a ref -> 'a -> unit