Class type Datalib.Create.hint


class type hint = object .. end

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