Module LogtkType.Seq

module Seq: sig .. end

val vars : LogtkType.t -> LogtkType.t Sequence.t
val sub : LogtkType.t -> LogtkType.t Sequence.t
val add_set : LogtkType.Set.t -> LogtkType.t Sequence.t -> LogtkType.Set.t
val max_var : LogtkType.t Sequence.t -> int