minigent/examples/0_basics/02-comp/expected.out

foo : U8 -> Bool;
foo x = ((x : U8) + (200 : U8) : U8) > ((3 : U8) - (1 : U8) : U8) : Bool;