And.hascasl.output revision 678e45c045799ce271c4719123ecd9cf4f456d4b
ee3bb87ab2da52ee1ad0c6675ea8b699b0af9ddcEwaryst Schulzfree type Bool ::= False | True
ee3bb87ab2da52ee1ad0c6675ea8b699b0af9ddcEwaryst Schulzop And : Bool -> ? Bool -> Bool
ee3bb87ab2da52ee1ad0c6675ea8b699b0af9ddcEwaryst Schulzvar x : ? Bool
ee3bb87ab2da52ee1ad0c6675ea8b699b0af9ddcEwaryst Schulz. And False x = False
ee3bb87ab2da52ee1ad0c6675ea8b699b0af9ddcEwaryst Schulz. And True x = x
ee3bb87ab2da52ee1ad0c6675ea8b699b0af9ddcEwaryst Schulz. And False True = False; %implied
ee3bb87ab2da52ee1ad0c6675ea8b699b0af9ddcEwaryst Schulzop And : Bool -> ? Bool -> Bool
ee3bb87ab2da52ee1ad0c6675ea8b699b0af9ddcEwaryst Schulzop False : Bool %(constructor)%
ee3bb87ab2da52ee1ad0c6675ea8b699b0af9ddcEwaryst Schulzop True : Bool %(constructor)%
ee3bb87ab2da52ee1ad0c6675ea8b699b0af9ddcEwaryst Schulzfree type Bool ::= False | True %(ga_Bool)%
ee3bb87ab2da52ee1ad0c6675ea8b699b0af9ddcEwaryst Schulzforall x : ? Bool . And False x = False
e40c19038803d4a3d8914f5310a0ae8f4e683c3cEwaryst Schulzforall x : ? Bool . And True x = x
ee3bb87ab2da52ee1ad0c6675ea8b699b0af9ddcEwaryst Schulz. And False True = False %implied
ee3bb87ab2da52ee1ad0c6675ea8b699b0af9ddcEwaryst Schulz### Hint 3.8, not a kind '? Bool'