A | |
| AC_SPEC [FOTerm] | |
C | |
| CLAUSE [Index_intf] | |
| CLAUSE [Index] | |
E | |
| EQ [Interfaces] | |
| EQUATION [Index_intf] | |
| EQUATION [Index] | |
G | |
| GROUP [Interfaces] | |
H | |
| HASH [Interfaces] | |
| HashedType [Hashcons] | |
I | |
| ITER [Interfaces] | |
L | |
| LEAF [Index_intf] | |
| LEAF [Index] | |
M | |
| MONOID [Interfaces] | |
O | |
| ORD [Interfaces] | |
P | |
| PARTIAL_ORD [Comparison] | |
| PRINT [Interfaces] |
Print a type t
|
| PRINT1 [Interfaces] | |
| PRINT2 [Interfaces] | |
| PRINT3 [Interfaces] | |
| PRINT_DE_BRUIJN [Interfaces] | |
| PRINT_OVERLOAD [Interfaces] |
Register printers by name
|
S | |
| S [Multiset_intf] | |
| S [Multiset] | |
| S [Hashcons] | |
| S [Congruence] | |
| S [Unif_intf] | |
| S [Unif] | |
| SPECIALIZED [Substs] | |
| SUBSUMPTION_IDX [Index_intf] | |
| SUBSUMPTION_IDX [Index] | |
T | |
| TERM [Congruence] | |
| TERM_IDX [Index_intf] | |
| TERM_IDX [Index] | |
U | |
| UNIT_IDX [Index_intf] | |
| UNIT_IDX [Index] |