DLS (infer.IStdlib.IStd.DLS)

include module type of struct include Stdlib.Domain.DLS end

type 'a key = 'a Stdlib__Domain.DLS.key

val new_key : ?split_from_parent:('a -> 'a) -> (unit -> 'a) -> 'a key

val get : 'a key -> 'a

val set : 'a key -> 'a -> unit

val incr : int key -> unit

val decr : int key -> unit