Module Array.Assert

val any : var array -> unit Checked.t
val all : var array -> unit Checked.t