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