Module Array.Assert

val any : var array -> unit
val all : var array -> unit