Module Ast_ho.Seq

module Seq: sig .. end

val terms : Ast_ho.t -> Ast_ho.term Sequence.t

val vars : Ast_ho.t -> Libzipperposition.STerm.var Sequence.t