InhabitationAlgorithm
inhabitation
InhabitationBatchJob
ReflectedRepository
InhabitationResult
interpreter
Intersection
types
inhabit
BoundedCombinatoryLogic
FiniteCombinatoryLogic
ReflectedRepository
inhabitation
cls
instance
DynamicCombinatorInfo
ReflectedRepository
interpretedTerms
InhabitationResult
interpreter
cls
intersect
Organized
Type
intersectPiecewise
Organized
isClosed
Arrow
Constructor
Intersection
Omega
Product
Type
Variable
isEmpty
InhabitationResult
isInfinite
InhabitationResult
isOmega
Arrow
Constructor
Intersection
Omega
Product
Type
Variable
isSubtypeOf
TypeRelationOf
toTypeRelationOf
isSupertypeOf
TypeRelationOf
toTypeRelationOf