Module Kwvalid.Json.Size

module Size: sig .. end

Predefined Array Size Predicates

val exactly : int -> 'a list -> bool

exactly n: considers valid only an array of size n.

val any : 'a -> bool

any: considers valid arrays of any size.

val min : int -> 'a list -> bool

min n: considers valid only an array of size at least n

val max : int -> 'a list -> bool

max n: considers valid only an array of size at most n