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