Index - G
| getCtx | Tokstyle.C.Env |
| getExternalSummary | Tokstyle.Analysis.PointsTo.ExternalSummaries |
| getJust | Tokstyle.C.TravUtils |
| getRetTy | Tokstyle.C.Env |
| getTypeRefName | Tokstyle.Common.TypeSystem |
| GlobalEnv | |
| 1 (Type/Class) | Tokstyle.Analysis.PointsTo.Types |
| 2 (Data Constructor) | Tokstyle.Analysis.PointsTo.Types |
| GlobalVarLoc | Tokstyle.Analysis.PointsTo.Types |