Prev: | 4craft-1up ( ..a quot1: ( ..a -- ..b o1 ) quot2: ( ..b -- ..c o2 ) quot3: ( ..c -- ..d o3 ) quot4: ( ..d -- ..e o4 ) -- ..e o1 o2 o3 o4 ) |
Next: | 4and ( a b c d -- ? ) |
a | a generalized boolean |
b | a generalized boolean |
c | a generalized boolean |
? | a boolean |