Module `Tjr_store`

module Int : sig ... end

module Map_int : sig ... end

module Refs : sig ... end

type univ

module Store : sig ... end

include Store

type t = { map : univ Map_int.t; free : int; urefs : (int * string) list; }

val initial_store : t
val mk_ref : a. 'a -> t -> t * 'a Refs.r
val set : a. 'a Refs.r -> 'a -> t -> t
val get : a. 'a Refs.r -> t -> 'a

module Unsafe : sig ... end: Uninitialised references, with a string name