Interface OperatorConfigurationGenericChain<Specifics>

interface OperatorConfigurationGenericChain<Specifics extends TypirSpecifics> {
    finish(): TypeInitializer<Type, Specifics>;
    inferenceRule<T extends unknown>(
        rule:
            | InferOperatorWithSingleOperand<Specifics, T>
            | InferOperatorWithMultipleOperands<Specifics, T>,
    ): OperatorConfigurationGenericChain<Specifics>;
}