Module Literal.Seq

module Seq: sig .. end

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