Expr.hascasl revision 1462186f844d3b541ab1542336e57586df486b51
type bool ::= true | false
var x : bool
. case x of true -> ()| false -> ()