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