sig 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 end