minigent/examples/0_basics/06-if/expected.out

testIf : U16 -> U16;
testIf x = if (x : U16) > (255 : U16) : Bool
           then (x : U16) / (2 : U16) : U16
           else x : U16
           end : U16;
testIfLet : U16 -> U16;
testIfLet x = let y = if True : Bool
                      then (x : U16) / (2 : U16) : U16
                      else x : U16
                      end : U16
              in if ((y : U16) == (1 : U16) : Bool) || ((x : U16) > (5 : U16) : Bool) : Bool
                 then (x : U16) + (2 : U16) : U16
                 else (x : U16) - (1 : U16) : U16
                 end : U16
              end : U16;
testIfNested : U16 -> U16;
testIfNested x = if (x : U16) == (3 : U16) : Bool
                 then if True : Bool
                      then (x : U16) / (2 : U16) : U16
                      else x : U16
                      end : U16
                 else if ((x : U16) == (1 : U16) : Bool) || ((x : U16) > (5 : U16) : Bool) : Bool
                      then (x : U16) + (2 : U16) : U16
                      else (x : U16) - (1 : U16) : U16
                      end : U16
                 end : U16;