dhall-1.11.0: Prelude/List/length
{-
Returns the number of elements in a list
Examples:
```
./length Integer [ 0, 1, 2 ] = +3
./length Integer ([] : List Integer) = +0
```
-}
let length : ∀(a : Type) → List a → Natural = List/length in length
{-
Returns the number of elements in a list
Examples:
```
./length Integer [ 0, 1, 2 ] = +3
./length Integer ([] : List Integer) = +0
```
-}
let length : ∀(a : Type) → List a → Natural = List/length in length