Boolean.Array
val any : var array -> var Checked.t
val all : var array -> var Checked.t
module Assert : sig ... end