Literal.Seq
val terms : t -> term Sequence.t
val vars : t -> Type.t HVar.t Sequence.t
val symbols : t -> ID.t Sequence.t