sig
  val insert : 'a -> Constr.t
  val replace : Constr.t -> 'a -> unit
  val find : Constr.t -> 'a
  val remove : Constr.t -> unit
end