Expr.hascasl revision cf1821d1617c189cc24428cfa654d3975f73755f
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