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