Module Clause_intf.S.Seq

module Seq: sig .. end

val lits : Clause_intf.S.t -> Literal.t Sequence.t

val terms : Clause_intf.S.t -> Libzipperposition.FOTerm.t Sequence.t

val vars : Clause_intf.S.t ->
       Libzipperposition.Type.t Libzipperposition.HVar.t Sequence.t