 | Contents | Index |
| A | C | D | E | F | G | H | I | L | M | N | P | Q | R | S | T | U | W |
| Delete | RefacTypeUtils |
| defaultExp | RefacTypeUtils |
| defaultModName | RefacTypeUtils |
| defaultPN | RefacTypeUtils |
| defaultPNT | RefacTypeUtils |
| defaultPat | RefacTypeUtils |
| defineLoc | RefacTypeUtils |
| definedPNs | RefacTypeUtils |
| defines | RefacTypeUtils |
| definesTypeSig | RefacTypeUtils |
| definingDecls | RefacTypeUtils |
| delete | RefacTypeUtils |
| duplicateDecl | RefacTypeUtils |