Module Boolean.Array

val any : var array -> var
val all : var array -> var
module Assert : sig ... end