`Compare.List_length_with`

`Compare.List_length_with.(l = n)`

iff `l`

is of length `n`

. In other words iff `Stdlib.List.compare_length_with l n = 0`

. Note that, like `compare_length_with`

, this comparison does not explore the list `l`

beyond its `n`

-th element.

`Compare.List_length_with.(l <> n)`

iff `l`

is not of length `n`

. In other words iff `Stdlib.List.compare_length_with l n <> 0`

. Note that, like `compare_length_with`

, this comparison does not explore the list `l`

beyond its `n`

-th element.

`Compare.List_length_with.(l < n)`

iff `l`

is of length strictly less than `n`

. In other words iff `Stdlib.List.compare_length_with l n < 0`

. Note that, like `compare_length_with`

, this comparison does not explore the list `l`

beyond its `n`

-th element.

`Compare.List_length_with.(l <= n)`

iff `l`

is of length less than `n`

. In other words iff `Stdlib.List.compare_length_with l n <= 0`

. Note that, like `compare_length_with`

, this comparison does not explore the list `l`

beyond its `n`

-th element.

`Compare.List_length_with.(l >= n)`

iff `l`

is of length greater than `n`

. In other words iff `Stdlib.List.compare_length_with l n >= 0`

. Note that, like `compare_length_with`

, this comparison does not explore the list `l`

beyond its `n`

-th element.

`Compare.List_length_with.(l > n)`

iff `l`

is of length strictly greater than `n`

. In other words iff `Stdlib.List.compare_length_with l n > 0`

. Note that, like `compare_length_with`

, this comparison does not explore the list `l`

beyond its `n`

-th element.

`Compare.List_length_with.compare`

is an alias for `Stdlib.List.compare_length_with`

.