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