Interface NaturalProofStepInput<T>

Generic input interface for creating a natural calculus proof step. The payload type is determined by the step type (Derivation or Assumption). Includes level and optional assumption index for sub-proof handling.

interface NaturalProofStepInput<T> {
    index: number;
    level: number;
    assumptionIndex?: number;
    step: T extends Derivation
        ? Derivation
        : Premise
        | Assumption
        | Shortcut
        | Reiteration;
    payload: T extends Derivation ? NaturalDerivedPayload : NaturalBasePayload;
}

Type Parameters

T
The step type (Derivation or Assumption)

Index

Properties

index level assumptionIndex? step payload

Properties

index

index: number

level

level: number

`Optional`assumptionIndex

assumptionIndex?: number

step

step: T extends Derivation
    ? Derivation
    : Premise
    | Assumption
    | Shortcut
    | Reiteration

payload

payload: T extends Derivation ? NaturalDerivedPayload : NaturalBasePayload