14 |
14 |
15 Not :: "bool => bool" ("NOT _" [40] 40) |
15 Not :: "bool => bool" ("NOT _" [40] 40) |
16 "op &" :: "[bool, bool] => bool" (infixr "AND" 35) |
16 "op &" :: "[bool, bool] => bool" (infixr "AND" 35) |
17 "op |" :: "[bool, bool] => bool" (infixr "OR" 30) |
17 "op |" :: "[bool, bool] => bool" (infixr "OR" 30) |
18 |
18 |
19 "ALL " :: "[idts, bool] => bool" ("'((3A _./ _)')" [0, 10] 10) |
19 All_binder :: "[idts, bool] => bool" ("'((3A _./ _)')" [0, 10] 10) |
20 "EX " :: "[idts, bool] => bool" ("'((3E _./ _)')" [0, 10] 10) |
20 Ex_binder :: "[idts, bool] => bool" ("'((3E _./ _)')" [0, 10] 10) |
21 "_lambda" :: "[pttrns, 'a] => 'b" ("(3L _./ _)" 10) |
21 "_lambda" :: "[pttrns, 'a] => 'b" ("(3L _./ _)" 10) |
22 |
22 |
23 "_idts" :: "[idt, idts] => idts" ("_,/_" [1, 0] 0) |
23 "_idts" :: "[idt, idts] => idts" ("_,/_" [1, 0] 0) |
24 "_pattern" :: "[pttrn, patterns] => pttrn" ("_,/_" [1, 0] 0) |
24 "_pattern" :: "[pttrn, patterns] => pttrn" ("_,/_" [1, 0] 0) |
25 |
25 |