Are all entries of a boolean vector true?
function allTrue input Boolean vec[:]; output Boolean alltrue; end allTrue;