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