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

cf1821d1617c189cc24428cfa654d3975f73755fChristian Maederop b : bool -> bool = \x .! x