Expr.hascasl revision 9e72bdb099564f9e5f51a069f05efba14bdbe2d7
1462186f844d3b541ab1542336e57586df486b51Christian Maedertype bool ::= true | false
1462186f844d3b541ab1542336e57586df486b51Christian Maeder. case x of true -> ()| false -> ()
9e72bdb099564f9e5f51a069f05efba14bdbe2d7Christian Maeder. let x = true; y = false; z = x in ()