sig
  val make_ref : Constr.t -> Constr.t
  val destruct : Constr.t -> unit
  val deref : Constr.t -> Constr.t
  val assign : Constr.t -> Constr.t -> unit
end