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