Interface InferenceRuleWithOptions<Specifics, T>

A pair of a rule for type inference with its additional options.

interface InferenceRuleWithOptions<
    Specifics extends TypirSpecifics,
    T extends Specifics["LanguageType"] = Specifics["LanguageType"],
> {
    options: Partial<TypeInferenceRuleOptions>;
    rule: TypeInferenceRule<Specifics, T>;
}

Type Parameters

Specifics extends TypirSpecifics
T extends Specifics["LanguageType"] = Specifics["LanguageType"]

Index

Properties

Properties

options

options: Partial<TypeInferenceRuleOptions>

rule

rule: TypeInferenceRule<Specifics, T>