941N/Atype bool ::= True | False

941N/A

941N/Aop a : bool = True

941N/A

941N/Aop notA : bool = case a of True -> False | False -> True

941N/A

941N/Aop b : bool = let x = True; y = False; z = x in True

941N/A

941N/Aop b : bool -> bool = \x .! x

941N/A