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