887ec32ced6dc5d704e24a10568407ff7eefa503Christian Maedertype bool ::= True | False

1462186f844d3b541ab1542336e57586df486b51Christian Maeder

887ec32ced6dc5d704e24a10568407ff7eefa503Christian Maederop a : bool = True

1462186f844d3b541ab1542336e57586df486b51Christian Maeder

887ec32ced6dc5d704e24a10568407ff7eefa503Christian Maederop notA : bool = case a of True -> False | False -> True

9e72bdb099564f9e5f51a069f05efba14bdbe2d7Christian Maeder

887ec32ced6dc5d704e24a10568407ff7eefa503Christian Maederop b : bool = let x = True; y = False; z = x in True

077134553676bd8d6ad24dfa3622a30049cac9d7Christian Maeder

6aced3cb4c811010d876143f92fca7af32cf1c23Christian Maederop b : bool -> bool = \x . x