Index - A
| addEquivalence | Infernu.Types |
| addNamedType | Infernu.InferState |
| addPendingUnification | Infernu.InferState |
| addVarInstance | Infernu.InferState |
| addVarScheme | Infernu.InferState |
| allocNamedType | Infernu.InferState |
| annotatedSource | Infernu.Util |
| applyMainSubst | Infernu.InferState |
| applySubst | Infernu.Types |
| applySubst' | Infernu.Types |
| applySubstInfer | Infernu.InferState |
| areEquivalentNamedTypes | Infernu.InferState |
| arrayRowType | Infernu.Builtins.Array |