Index - G
| GadtDecl | HsSyntax |
| genOfName | TCM |
| GenToPattern | Eval |
| getCallPath | Termination |
| getContextTele | TCM |
| getDataName | ToHaskell |
| getDec | Abstract |
| getEnv | TCM |
| getFieldsAtType | Eval |
| getLen | TCM |
| getMatchingConstructor | Eval |
| getMinSize | TCM |
| getPol | Abstract |
| getRen | TCM |
| getSizeVarsInScope | TCM |
| GM | Warshall |
| Goal | TypeChecker |
| goImpredicative | TCM |
| Graph | |
| 1 (Type/Class) | Warshall |
| 2 (Data Constructor) | Warshall |
| graph | Warshall |