Index - _
| _message | Disco.Messages |
| _messageType | Disco.Messages |
| _miDocs | Disco.Module |
| _miExts | Disco.Module |
| _miImports | Disco.Module |
| _miName | Disco.Module |
| _miNames | Disco.Module |
| _miProps | Disco.Module |
| _miTermdefs | Disco.Module |
| _miTerms | Disco.Module |
| _miTydefs | Disco.Module |
| _miTys | Disco.Module |
| _ssConstraints | Disco.Typecheck.Solve |
| _ssSeen | Disco.Typecheck.Solve |
| _ssSubst | Disco.Typecheck.Solve |
| _ssVarMap | Disco.Typecheck.Solve |
| _tyVarIlk | Disco.Typecheck.Solve |
| _tyVarSort | Disco.Typecheck.Solve |