| incr | Unbound.LocallyNameless.Alpha |
| Index | Unbound.LocallyNameless.Alpha |
| Infix | Unbound.LocallyNameless |
| Infixl | Unbound.LocallyNameless |
| Infixr | Unbound.LocallyNameless |
| initial | |
| 1 (Function) | Unbound.Nominal.Internal |
| 2 (Function) | Unbound.LocallyNameless.Alpha |
| Int | Unbound.LocallyNameless |
| Int1 | Unbound.LocallyNameless |
| Integer | Unbound.LocallyNameless |
| Integer1 | Unbound.LocallyNameless |
| integer2Name | |
| 1 (Function) | Unbound.Nominal.Name, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
| IO | Unbound.LocallyNameless |
| IO1 | Unbound.LocallyNameless |
| IOError | Unbound.LocallyNameless |
| IOError1 | Unbound.LocallyNameless |
| isBound | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types |
| IsEmbed | Unbound.LocallyNameless.Alpha |
| isEmbed | Unbound.LocallyNameless.Alpha, Unbound.LocallyNameless |
| isEmbedD | Unbound.LocallyNameless.Alpha |
| isFree | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types |
| isid | Unbound.PermM, Unbound.LocallyNameless |
| isPat | Unbound.LocallyNameless.Alpha, Unbound.LocallyNameless |
| isPatD | Unbound.LocallyNameless.Alpha |
| isPatR1 | Unbound.LocallyNameless.Alpha |
| isTerm | Unbound.LocallyNameless.Alpha, Unbound.LocallyNameless |
| isTermD | Unbound.LocallyNameless.Alpha |
| isTermR1 | Unbound.LocallyNameless.Alpha |
| isvar | |
| 1 (Function) | Unbound.Nominal.Internal, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Subst, Unbound.LocallyNameless |
| isvarD | Unbound.LocallyNameless.Subst |