Function ruleWithOptionsBoundToType

ruleWithOptionsBoundToType<
    Specifics extends TypirSpecifics,
    T extends unknown = Specifics["LanguageType"],
>(
    rule: InferenceRuleWithOptions<Specifics, T>,
    type: undefined | Type,
): InferenceRuleWithOptions<Specifics, T>
Type Parameters
- Specifics extends TypirSpecifics
- T extends unknown = Specifics["LanguageType"]
Parameters
- rule: InferenceRuleWithOptions<Specifics, T>
- type: undefined | Type
Returns InferenceRuleWithOptions<Specifics, T>
- Defined in utils/utils-definitions.ts:113