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