Index - I
| i1 | Term.Builtin.Convenience |
| i2 | Term.Builtin.Convenience |
| i3 | Term.Builtin.Convenience |
| i4 | Term.Builtin.Convenience |
| i5 | Term.Builtin.Convenience |
| i6 | Term.Builtin.Convenience |
| i7 | Term.Builtin.Convenience |
| i8 | Term.Builtin.Convenience |
| i9 | Term.Builtin.Convenience |
| imageOf | Term.Substitution, Term.Unification |
| imageOfVFresh | Term.Substitution, Term.Unification |
| implicitFunSig | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| inv | Term.UnitTests |
| invSymString | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| irreducibleFunSyms | Term.Maude.Signature, Term.Unification |
| IsConst | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| isDiff | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| isEMap | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| isFreshVar | Term.LTerm, Term.Substitution, Term.Unification |
| isInverse | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| isMsgVar | Term.LTerm, Term.Substitution, Term.Unification |
| isNormalInstance | Term.Narrowing.Variants.Check, Term.Narrowing.Variants |
| isNullaryPublicFunction | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| isPair | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| isPrivateFunction | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| isProduct | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| isRenaming | Term.Substitution, Term.Unification |
| isSimpleTerm | Term.LTerm, Term.Substitution, Term.Unification |
| isUnion | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| IsVar | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| isVar | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |