Microsoft Research, Cambridge
Returns a boolean variable which is true if all array elements are true.
For AND of two variables, use the & operator.

Declaration Syntax

Parameters
- array (Variable<(Of <(array<
Boolean
>[]()[]>)>))
- The array variable

Return Value
AND_i array[i]
Assembly:
Infer.Compiler (Module: Infer.Compiler) Version: 2.3.41111.0 (2.3.41111.0)