Expr.hascasl revision 1462186f844d3b541ab1542336e57586df486b51
1462186f844d3b541ab1542336e57586df486b51Christian Maedertype bool ::= true | false
1462186f844d3b541ab1542336e57586df486b51Christian Maeder. case x of true -> ()| false -> ()