Module List.Length

type 'a t = ( 'a list, int ) Sigs.predicate2
val equal : 'a t

equal l len returns true if List.length l = len, false otherwise.

val gte : 'a t

gte l len returns true if List.length l >= len, false otherwise.

val gt : 'a t

gt l len returns true if List.length l > len, false otherwise.

val lte : 'a t

lte l len returns true if List.length l <= len, false otherwise.

val lt : 'a t

lt l len returns true if List.length l < len, false otherwise. p

Infix comparison operators

module Compare : sig ... end

Compare contains infix aliases for functions of Length