unfoldedSequence

abstract override val unfoldedSequence: Sequence<Term>

The elements of this structure, unfolded lazily, in order. Same as unfold.