Module Cut_form.Seq

module Seq: sig .. end

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

val terms_with_pos : ?subterms:bool ->
       Cut_form.t -> Cut_form.term Logtk.Position.With.t Sequence.t