Index - I
| If | Narc.AST |
| ifthenelse | Narc |
| ifthenelse_ | Narc.AST |
| image | Narc.Util |
| infer | Narc.TypeInfer |
| infer' | Narc.TypeInfer |
| inferType | Narc.TypeInfer |
| inferType' | Narc.TypeInfer |
| inferTys | Narc.TypeInfer |
| initialEnv | Narc.Eval |
| instanceOf | Narc.Type |
| instantiate | Narc.Type |
| intSqrt | Narc.Util |
| isBaseTy | Narc.Type |
| isDBRecordTy | Narc.Type |
| isDBTableTy | Narc.Type |
| isError | Narc.Failure |
| isErrorMSuccess | Narc.Failure |
| isLeft | Narc.Util |
| isQRecord | Narc.SQL |
| isRecordTy | Narc.Type |
| isRight | Narc.Util |
| isSuccess | Narc.Failure |
| isTyVar | Narc.Type |