Sequence.getLength

Returns the length of seq. Note that this method is O(h) where `h' is the height of the tree. It is thus more efficient to use Sequence.isEmpty when comparing the length to zero.

class Sequence
int
getLength
()

Return Value

Type: int

the length of seq

Meta

Since

2.14