| Bottom | Language.PCPL.Solver |
| compileTM | Language.PCPL.CompileTM, Language.PCPL |
| compileTM' | Language.PCPL.CompileTM, Language.PCPL |
| Configuration | Language.PCPL.Solver |
| Domino | |
| 1 (Type/Class) | Language.PCPL.Syntax, Language.PCPL |
| 2 (Data Constructor) | Language.PCPL.Syntax, Language.PCPL |
| dominos | Language.PCPL.Syntax, Language.PCPL |
| Node | |
| 1 (Type/Class) | Language.PCPL.Solver |
| 2 (Data Constructor) | Language.PCPL.Solver |
| parensMatcher | Language.PCPL |
| PCP | Language.PCPL.Solver |
| Pretty | Language.PCPL.Pretty, Language.PCPL |
| pretty | Language.PCPL.Pretty, Language.PCPL |
| Program | |
| 1 (Type/Class) | Language.PCPL.Syntax, Language.PCPL |
| 2 (Data Constructor) | Language.PCPL.Syntax, Language.PCPL |
| runProgram | Language.PCPL |
| search | Language.PCPL.Solver |
| separator | Language.PCPL.Syntax, Language.PCPL |
| Seperator | Language.PCPL.CompileTM, Language.PCPL |
| startDomino | Language.PCPL.Syntax, Language.PCPL |
| Symbol | Language.PCPL.Syntax, Language.PCPL |
| syms | Language.PCPL.Syntax, Language.PCPL |
| Top | Language.PCPL.Solver |
| topString | Language.PCPL |
| unaryAdder | Language.PCPL |
| unsyms | Language.PCPL.Syntax, Language.PCPL |
| updateConf | Language.PCPL.Solver |