sig
  type 'a t
  val create : unit -> 'a Store.t
  val add : 'a Store.t -> 'a -> Constr.t
  val remove : 'a Store.t -> Constr.t -> unit
  val find : 'a Store.t -> Constr.t -> 'a
  val replace : 'a Store.t -> Constr.t -> 'a -> unit
end