Failed

inhabitation

FiniteCombinatoryLogic

inhabitation

FiniteSubstitutionSpace

types

findCombinatorComponents

ReflectedRepository

fromRules

TreeGrammarEnumeration

fullSignature

StaticCombinatorInfo

fullTypeOf

ReflectedRepository

functionType

Apply