Module type Mdata.Addr


module type Addr = sig .. end

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