HasCASL/test/And.hascasl.output

	And.hascasl.output revision 946f62de1b188898dde0c472f2a8a6fb86f4d2f5
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
type
Bool : Type
type
Bool %[free type Bool ::= False | True]%
op And : Bool -> ? Bool -> Bool %(op)%
op False : Bool %(constructor)%
op True : Bool %(constructor)%
var
x : ? Bool
free type Bool ::= False | True %(ga_Bool)%
forall x : ? Bool . And False x = False
forall x : ? Bool . And True x = x
. And False True = False
### Hint 3.6, not a kind '? Bool'