HasCASL/test/And.hascasl

1
2
3
4
5
6
7
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