Just uncommenting the code again leads to a compilation error for $NOT... but I think that's something more general about boolean-something-blabla-problems in the compiler. I think it's possible to rewrite the all / any functions to work right now without fixing anything else.
anyandallwere commented out some time ago. @sydow do you remember why? The related commit is https://github.com/actonlang/acton/commit/0e53227c3183ea4763bf1ab4c8a9e93c45129456Just uncommenting the code again leads to a compilation error for $NOT... but I think that's something more general about boolean-something-blabla-problems in the compiler. I think it's possible to rewrite the all / any functions to work right now without fixing anything else.