minigent/examples/0_basics/03-bool/in.minigent

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