-
Regis Blanc authored
note that I had to remove the precondition of negate checking that the type is Boolean. Some nested sub-expressions are untyped.
Regis Blanc authorednote that I had to remove the precondition of negate checking that the type is Boolean. Some nested sub-expressions are untyped.
