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