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