Index - I
| iff | HyLo.Model |
| inducedModel | HyLo.Model.Herbrand |
| InferenceTask | HyLo.InputFile.Parser |
| initParseState | HyLo.InputFile.Parser |
| InputFile | HyLo.InputFile |
| insert | |
| 1 (Function) | Data.EnumMap |
| 2 (Function) | Data.EnumSet |
| insertLookupWithKey | Data.EnumMap |
| insertWith | Data.EnumMap |
| intersection | Data.EnumSet |
| inv | |
| 1 (Function) | HyLo.Signature.Simple |
| 2 (Function) | HyLo.Signature.String |
| InverseOf | HyLo.InputFile.Parser |
| invRel | HyLo.Signature |
| InvRelSymbol | |
| 1 (Data Constructor) | HyLo.Signature.Simple |
| 2 (Data Constructor) | HyLo.Signature.String |
| isNomInSig | HyLo.Signature |
| isPropInSig | HyLo.Signature |
| isRelInSig | HyLo.Signature |
| IsRelSym | HyLo.Signature |
| isSubsignatureOf | HyLo.Signature |