Class type Mdata.S.hint


class type hint = object .. end

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