sig 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 end