minigent/examples/0_basics/03-bool/expected.out

operators : U8 -> Bool;
operators x = (((x : U8) > ((x : U8) - (1 : U8) : U8) : Bool) || (True : Bool) : Bool) && ((False : Bool) || (~ (~ (False : Bool) : Bool) : Bool) : Bool) : Bool;