StaticCombinatorInfo
interpreter
SubtypeEnvironment
types
scalaTypes
ReflectedRepository
semanticTaxonomy
ReflectedRepository
semanticType
CombinatorInfo
DynamicCombinatorInfo
StaticCombinatorInfo
semanticTypes
InhabitationBatchJob
sigma
Intersection
Product
size
InhabitationResult
Arrow
Constructor
Intersection
Omega
Product
Type
Variable
source
Arrow
staticCombinatorInfoFor
ReflectedRepository
substitutionSpace
ReflectedRepository
substitutions
BoundedCombinatoryLogic
subtypes
FiniteCombinatoryLogic
syntax
types