module Seq: sig .. end
sig
end
val lits : Clause_intf.S.t -> Logtk.Literal.t Sequence.t
Clause_intf.S.t -> Logtk.Literal.t Sequence.t
val terms : Clause_intf.S.t -> Logtk.Term.t Sequence.t
Clause_intf.S.t -> Logtk.Term.t Sequence.t
val vars : Clause_intf.S.t -> Logtk.Type.t Logtk.HVar.t Sequence.t
Clause_intf.S.t -> Logtk.Type.t Logtk.HVar.t Sequence.t