io.chymyst.ch
Approximate size of the term.
Approximate size of the term. The computation adds 1 every time any subterms are combined in any way.
A term.
Number of elements in the term.