sig
  val terms : Literal.t -> Literal.term Sequence.t
  val vars :
    Literal.t -> Libzipperposition.Type.t Libzipperposition.HVar.t Sequence.t
  val symbols : Literal.t -> Libzipperposition.ID.t Sequence.t
end