Type Alias TypirServices<Specifics>

TypirServices: {
    Assignability: TypeAssignability;
    caching: {
        LanguageNodeInference: LanguageNodeInferenceCaching;
        TypeRelationships: TypeRelationshipCaching;
    };
    Conversion: TypeConversion;
    Equality: TypeEquality;
    factory: {
        Bottom: BottomFactoryService<Specifics>;
        Classes: ClassFactoryService<Specifics>;
        Functions: FunctionFactoryService<Specifics>;
        Operators: OperatorFactoryService<Specifics>;
        Primitives: PrimitiveFactoryService<Specifics>;
        Top: TopFactoryService<Specifics>;
    };
    Inference: TypeInferenceCollector<Specifics>;
    infrastructure: {
        Graph: TypeGraph;
        GraphAlgorithms: GraphAlgorithms;
        Kinds: KindRegistry<Specifics>;
        TypeResolver: TypeResolvingService<Specifics>;
    };
    Language: LanguageService<Specifics>;
    Printer: ProblemPrinter<Specifics>;
    Subtype: SubType;
    validation: {
        Collector: ValidationCollector<Specifics>;
        Constraints: ValidationConstraints<Specifics>;
    };
}

Some open design questions for future releases TODO

ReadonlyAssignability: TypeAssignability
Readonlycaching: {
LanguageNodeInference: LanguageNodeInferenceCaching;
TypeRelationships: TypeRelationshipCaching;
}
ReadonlyConversion: TypeConversion
ReadonlyEquality: TypeEquality
Readonlyfactory: {
    Bottom: BottomFactoryService<Specifics>;
    Classes: ClassFactoryService<Specifics>;
    Functions: FunctionFactoryService<Specifics>;
    Operators: OperatorFactoryService<Specifics>;
    Primitives: PrimitiveFactoryService<Specifics>;
    Top: TopFactoryService<Specifics>;
}
ReadonlyInference: TypeInferenceCollector<Specifics>
Readonlyinfrastructure: {
    Graph: TypeGraph;
    GraphAlgorithms: GraphAlgorithms;
    Kinds: KindRegistry<Specifics>;
    TypeResolver: TypeResolvingService<Specifics>;
}
ReadonlyLanguage: LanguageService<Specifics>
ReadonlyPrinter: ProblemPrinter<Specifics>
ReadonlySubtype: SubType
Readonlyvalidation: {
Collector: ValidationCollector<Specifics>;
Constraints: ValidationConstraints<Specifics>;
}