len is:exact

only for byte arrays. This is a JS byte array method

Coding list-length recursively. Again, we map directly to an SMTLib function.

Wrapper for length.

O(1). Returns the length of a structure as an Int. On infinite lists returns the Ints maxBound.

>>> len $ one 42
1

>>> len $ slist [1..3]
3

>>> len $ infiniteSlist [1..]
9223372036854775807