And.hascasl revision 5cb757fab60f0c6bd6c2ff444d18963f078be9be
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