Feldspar.Core.Frontend.Logic
not
(&&)
(||)
(&&*)
(||*)