Module LogtkHOTerm.Seq

module Seq: sig .. end

val vars : LogtkHOTerm.t -> LogtkHOTerm.t Sequence.t
val subterms : LogtkHOTerm.t -> LogtkHOTerm.t Sequence.t
val subterms_depth : LogtkHOTerm.t -> (LogtkHOTerm.t * int) Sequence.t
val symbols : LogtkHOTerm.t -> LogtkSymbol.t Sequence.t
val max_var : LogtkHOTerm.t Sequence.t -> int
val min_var : LogtkHOTerm.t Sequence.t -> int
val ty_vars : LogtkHOTerm.t -> LogtkType.t Sequence.t
val add_set : LogtkHOTerm.Set.t -> LogtkHOTerm.t Sequence.t -> LogtkHOTerm.Set.t