InhabitationAlgorithm
inhabitation
InhabitationBatchJob
ReflectedRepository
InhabitationResult
interpreter
Intersection
types
inhabit
BoundedCombinatoryLogic
FiniteCombinatoryLogic
ReflectedRepository
inhabitRec
FiniteCombinatoryLogic
inhabitSequentially
FiniteCombinatoryLogic
inhabitSequentiallyContinueIfFailing
FiniteCombinatoryLogic
inhabitStep
FiniteCombinatoryLogic
inhabitation
cls
instance
DynamicCombinatorInfo
ReflectedRepository
interpretedTerms
InhabitationResult
interpreter
cls
intersect
Organized
isEmpty
InhabitationResult
isInfinite
InhabitationResult
isSubtypeOf
TypeRelationOf
toTypeRelationOf
isSupertypeOf
TypeRelationOf
toTypeRelationOf