Module Literals.Seq

module Seq: sig .. end

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