object method capture : F.var list -> unit method has_var : F.var list -> bool method pretty : Format.formatter -> unit method subst : F.var -> Formula.abstract F.term -> unit end