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