function allTrue extends Modelica.Icons.Function; input Boolean b[:]; output Boolean result; end allTrue;