| Word | Stack effect |
| ( transition-table -- partition ) | |
| ( ..a obj quot: ( ..a obj -- ..b obj' ) comp: ( ..b obj' -- ..a key ) old-key -- ..a obj ) | |
| ( assoc1 assoc2 -- values ) | |
| ( assoc -- keys-set ) | |
| ( state transitions state-classes -- ? ) | |
| ( hash -- hash ) | |
| ( table -- smaller-table ) | |
| ( table -- table ) | |
| ( transitions state-classes -- new-transitions ) | |
| ( assoc -- ? ) | |
| ( transition-table -- partitions ) | |
| ( s1 s2 transition-table -- ? ) | |
| ( table -- minimal-table ) | |
| ( table -- newtable ) | |
| ( partitions transition-table -- partitions ) | |
| ( partitions -- synonyms ) | |
| ( s1 s2 partitions -- ? ) | |
| ( transition-table -- synonyms ) | |
| ( s1 s2 transition partitions -- ? ) | |
| ( table -- assoc ) | |
| ( obj quot pred -- obj' ) |