sig
  module F : Formula.S
  type addr
  val equal : Mdata.Addr.addr -> Mdata.Addr.addr -> F.pred
  val closed : Mdata.Addr.addr -> bool
  val fresh : F.pool -> F.var * Mdata.Addr.addr
  val pp_addr : Format.formatter -> Mdata.Addr.addr -> unit
end