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