sig
  val vars :
    Literals.t ->
    Libzipperposition.Type.t Libzipperposition.HVar.t Sequence.t
  val terms : Literals.t -> Literals.term Sequence.t
  val to_form :
    Literals.t -> Literals.term Libzipperposition.SLiteral.t Sequence.t
end