name | Inferno.Parse |
NameInModuleDoesNotExist | Inferno.Infer |
Namespace | Inferno.Infer.Env |
namespaceToIdent | Inferno.Infer.Env |
NonExhaustivePatternMatch | Inferno.Infer |
normTC | Inferno.Infer.Env |
normtype | Inferno.Infer.Env |
NotFoundInImplicitEnv | Inferno.Eval.Error |