Function createLangiumSpecificTypirServicesModule

Returns Module<
    TypirLangiumServices<Specifics>,
    {
        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>;
        };
    },
>

(only) the replaced implementations