Function createTypirServices

Parameters

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

  optional Typir module with customizations
• customization2: Module<
      TypirServices,
      {
          Assignability?: TypeAssignability;
          caching?: {
              LanguageNodeInference?: LanguageNodeInferenceCaching;
              TypeRelationships?: TypeRelationshipCaching;
          };
          Conversion?: TypeConversion;
          Equality?: TypeEquality;
          factory?: {
              Bottom?: BottomFactoryService;
              Classes?: ClassFactoryService;
              Functions?: FunctionFactoryService;
              Operators?: OperatorFactoryService;
              Primitives?: PrimitiveFactoryService;
              Top?: TopFactoryService;
          };
          Inference?: TypeInferenceCollector;
          infrastructure?: {
              Graph?: TypeGraph;
              Kinds?: KindRegistry;
              TypeResolver?: TypeResolvingService;
          };
          Printer?: ProblemPrinter;
          Subtype?: SubType;
          validation?: {
              Collector?: ValidationCollector<unknown, unknown>;
              Constraints?: ValidationConstraints;
          };
      },
  > = {}

  optional Typir module with customizations