unfold

abstract fun unfold(): Sequence<Term>

Lazily unfolds this structure's elements. Same as unfoldedSequence.