| IAll | Language.Clafer.Intermediate.Intclafer |
| iAnd | Language.Clafer.Common |
| IClafer | |
| 1 (Type/Class) | Language.Clafer.Intermediate.Intclafer |
| 2 (Data Constructor) | Language.Clafer.Intermediate.Intclafer |
| iClafer | Language.Clafer.Intermediate.Intclafer |
| IClaferId | Language.Clafer.Intermediate.Intclafer |
| iCSet | Language.Clafer.Common |
| IDecl | |
| 1 (Type/Class) | Language.Clafer.Intermediate.Intclafer |
| 2 (Data Constructor) | Language.Clafer.Intermediate.Intclafer |
| IDeclPExp | Language.Clafer.Intermediate.Intclafer |
| Ident | Language.Clafer.Common |
| ident | Language.Clafer.Intermediate.Intclafer |
| identCountMap | Language.Clafer.Common |
| iDifference | Language.Clafer.Common |
| iDiv | Language.Clafer.Common |
| iDomain | Language.Clafer.Common |
| IDouble | Language.Clafer.Intermediate.Intclafer |
| idouble | Language.Clafer.Intermediate.Intclafer |
| idToPExp | Language.Clafer.Common |
| IEClafer | Language.Clafer.Intermediate.Intclafer |
| IEConstraint | Language.Clafer.Intermediate.Intclafer |
| IEGoal | Language.Clafer.Intermediate.Intclafer |
| IElement | Language.Clafer.Intermediate.Intclafer |
| iEq | Language.Clafer.Common |
| IExp | Language.Clafer.Intermediate.Intclafer |
| iFold | Language.Clafer.Intermediate.Intclafer |
| iFoldMap | Language.Clafer.Intermediate.Intclafer |
| IFunExp | Language.Clafer.Intermediate.Intclafer |
| IGCard | |
| 1 (Type/Class) | Language.Clafer.Intermediate.Intclafer |
| 2 (Data Constructor) | Language.Clafer.Intermediate.Intclafer |
| iGMax | Language.Clafer.Common |
| iGMin | Language.Clafer.Common |
| iGt | Language.Clafer.Common |
| iGte | Language.Clafer.Common |
| iIff | Language.Clafer.Common |
| iIfThenElse | Language.Clafer.Common |
| iImpl | Language.Clafer.Common |
| iIn | Language.Clafer.Common |
| IInt | Language.Clafer.Intermediate.Intclafer |
| iint | Language.Clafer.Intermediate.Intclafer |
| iIntersection | Language.Clafer.Common |
| iJoin | Language.Clafer.Common |
| ILone | Language.Clafer.Intermediate.Intclafer |
| iLt | Language.Clafer.Common |
| iLte | Language.Clafer.Common |
| iMap | Language.Clafer.Intermediate.Intclafer |
| iMin | Language.Clafer.Common |
| IModule | |
| 1 (Type/Class) | Language.Clafer.Intermediate.Intclafer, Language.Clafer |
| 2 (Data Constructor) | Language.Clafer.Intermediate.Intclafer |
| iMul | Language.Clafer.Common |
| incrGlobal | Language.Clafer.Front.LayoutResolver |
| indent | Language.Clafer.Front.LayoutResolver |
| indexShortOffAddr | Language.Clafer.Front.Parclafer |
| iNeq | Language.Clafer.Common |
| Info | |
| 1 (Type/Class) | Language.Clafer.Intermediate.Analysis |
| 2 (Data Constructor) | Language.Clafer.Intermediate.Analysis |
| iNin | Language.Clafer.Common |
| Init | Language.Clafer.Front.Absclafer |
| InitEmpty | Language.Clafer.Front.Absclafer |
| InitHow | Language.Clafer.Front.Absclafer |
| InitHow_1 | Language.Clafer.Front.Absclafer |
| InitHow_2 | Language.Clafer.Front.Absclafer |
| InitSome | Language.Clafer.Front.Absclafer |
| INo | Language.Clafer.Intermediate.Intclafer |
| iNot | Language.Clafer.Common |
| inPos | Language.Clafer.Intermediate.Intclafer |
| input | Language.Clafer.Front.LayoutResolver |
| InputModel | Language.Clafer |
| integerType | Language.Clafer.Common |
| interleave | Language.Clafer.Generator.Alloy |
| Intersection | Language.Clafer.Front.Absclafer |
| intersects | Language.Clafer.Intermediate.ResolverType |
| Interval | Language.Clafer.Intermediate.Intclafer |
| interval | Language.Clafer.Intermediate.Intclafer |
| intType | Language.Clafer.Common |
| IOne | Language.Clafer.Intermediate.Intclafer |
| iOr | Language.Clafer.Common |
| iPlus | Language.Clafer.Common |
| IQuant | Language.Clafer.Intermediate.Intclafer |
| Ir | Language.Clafer.Intermediate.Intclafer |
| iRange | Language.Clafer.Common |
| IRClafer | Language.Clafer.Intermediate.Intclafer |
| IRIDecl | Language.Clafer.Intermediate.Intclafer |
| IRIElement | Language.Clafer.Intermediate.Intclafer |
| IRIExp | Language.Clafer.Intermediate.Intclafer |
| IRIGCard | Language.Clafer.Intermediate.Intclafer |
| IRIModule | Language.Clafer.Intermediate.Intclafer |
| IRIQuant | Language.Clafer.Intermediate.Intclafer |
| IRISuper | Language.Clafer.Intermediate.Intclafer |
| IRIType | Language.Clafer.Intermediate.Intclafer |
| irModuleTrace | Language.ClaferT, Language.Clafer |
| IRPExp | Language.Clafer.Intermediate.Intclafer |
| IrPExp | Language.Clafer.Generator.Alloy, Language.Clafer |
| IrTrace | Language.Clafer.Generator.Alloy, Language.Clafer |
| isAbstract | |
| 1 (Function) | Language.Clafer.Intermediate.Intclafer |
| 2 (Function) | Language.Clafer.Intermediate.Analysis |
| isBase | Language.Clafer.Intermediate.Analysis |
| isBracketClose | Language.Clafer.Front.LayoutResolver |
| isBracketOpen | Language.Clafer.Front.LayoutResolver |
| isChild | Language.Clafer.Intermediate.Analysis |
| isClaferName | Language.Clafer.Common |
| isClaferName' | Language.Clafer.Common |
| isConcrete | Language.Clafer.Intermediate.Analysis |
| iscPrimitive | Language.Clafer.Generator.Alloy |
| isDerived | Language.Clafer.Intermediate.Analysis |
| isDirectChild | Language.Clafer.Intermediate.Analysis |
| isDisj | Language.Clafer.Intermediate.Intclafer |
| isEof | Language.Clafer.Front.LayoutResolver |
| isEqClaferId | Language.Clafer.Common |
| isExIntegerAst | Language.Clafer.Intermediate.Desugarer |
| isExTokenIn | Language.Clafer.Front.LayoutResolver |
| isGroup | Language.Clafer.Generator.Alloy, Language.Clafer |
| isHard | Language.Clafer.Intermediate.Intclafer |
| isIEClafer | Language.Clafer.Intermediate.ResolverName |
| isIndirectChild | Language.Clafer.Intermediate.Analysis |
| isKeyword | Language.Clafer.Intermediate.Intclafer |
| isLayoutClose | Language.Clafer.Front.LayoutResolver |
| isLayoutOpen | Language.Clafer.Front.LayoutResolver |
| isMaximize | Language.Clafer.Intermediate.Intclafer |
| isNamespaceConflict | Language.Clafer.Intermediate.ResolverName |
| isNewLine | Language.Clafer.Front.LayoutResolver |
| isNull | |
| 1 (Function) | Language.Clafer.Generator.Python |
| 2 (Function) | Language.Clafer.Generator.Alloy |
| ISome | Language.Clafer.Intermediate.Intclafer |
| isOptionalDef | Language.Clafer.Intermediate.Desugarer |
| isOverlapping | Language.Clafer.Intermediate.Intclafer |
| isParent | Language.Clafer.Common |
| isPrimitive | Language.Clafer.Common |
| isRefPath | Language.Clafer.Generator.Alloy |
| isSet | Language.Clafer.Intermediate.Desugarer |
| isSimplePath | Language.Clafer.Generator.Alloy |
| isSuperArrow | Language.Clafer.Intermediate.Desugarer |
| isSuperSomeArrow | Language.Clafer.Intermediate.Desugarer |
| isTokenIn | Language.Clafer.Front.LayoutResolver |
| isTop | Language.Clafer.Intermediate.Intclafer |
| IStr | Language.Clafer.Intermediate.Intclafer |
| istr | Language.Clafer.Intermediate.Intclafer |
| iSub | Language.Clafer.Common |
| iSumSet | Language.Clafer.Common |
| iSumSet' | Language.Clafer.Common |
| ISuper | |
| 1 (Type/Class) | Language.Clafer.Intermediate.Intclafer |
| 2 (Data Constructor) | Language.Clafer.Intermediate.Intclafer |
| IType | Language.Clafer.Intermediate.Intclafer |
| iType | Language.Clafer.Intermediate.Intclafer |
| iUnbox | Language.Clafer.Front.Lexclafer |
| iUnion | Language.Clafer.Common |
| iXor | Language.Clafer.Common |