Index - I
| identity | Satchmo.Relation.Data, Satchmo.Relation |
| ifThenElse | Satchmo.Boolean |
| ifThenElseM | Satchmo.Boolean |
| implies | |
| 1 (Function) | Satchmo.Boolean |
| 2 (Function) | Satchmo.Relation.Prop, Satchmo.Relation |
| increment | Satchmo.BinaryTwosComplement.Op.Fixed, Satchmo.BinaryTwosComplement |
| indices | Satchmo.Relation.Data, Satchmo.Relation |
| info | Satchmo.SMT.Exotic.Dict |
| intersection | Satchmo.Relation.Op, Satchmo.Relation |
| irreflexive | Satchmo.Relation.Prop, Satchmo.Relation |
| isNull | |
| 1 (Function) | Satchmo.BinaryTwosComplement.Op.Fixed, Satchmo.BinaryTwosComplement |
| 2 (Function) | Satchmo.Polynomial |
| iszero | |
| 1 (Function) | Satchmo.Unary.Op.Common, Satchmo.Unary.Op.Flexible, Satchmo.Unary, Satchmo.Unary.Op.Fixed |
| 2 (Function) | Satchmo.Binary.Op.Common, Satchmo.Binary.Op.Flexible, Satchmo.Binary, Satchmo.Binary.Op.Fixed |