And.hascasl revision 040d9b1fe7c96c9692fb759dec2886a95becec82
free type Bool ::= False | True
op and: Bool -> (?Bool) -> Bool
var x:?Bool
. and False x = False
. and True x = x
. and False True = False %implied