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