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