type bool ::= true | false

op a : bool = true

op notA : bool = case a of true -> false | false -> true

op b : bool = let x = true; y = false; z = x in true

op b : bool -> bool = \x . x