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] |