sig val s_ref : 'a -> 'a Stdlib.ref val s_table : ('a -> 'b) -> 'a -> 'b Stdlib.ref type store val fresh : unit -> Local_store.store val with_store : Local_store.store -> (unit -> 'a) -> 'a val reset : unit -> unit val is_bound : unit -> bool end