Interface HilbertProofStepInput<T>

Generic input interface for creating a Hilbert calculus proof step. The payload type is determined by the step type (Axiom, Derivation, or Assumption).

interface HilbertProofStepInput<T> {
    index: number;
    step: T extends Derivation
        ? Derivation
        : T extends Axiom ? Axiom : Premise | Shortcut | Reiteration;
    payload: T extends Derivation
        ? HilbertDerivedPayload
        : T extends Axiom ? HilbertAxiomPayload : HilbertBasePayload;
}

Type Parameters

T
The step type (Axiom, Derivation, or Assumption)

Index

Properties

index step payload

Properties

index

index: number

step

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

payload

payload: T extends Derivation
? HilbertDerivedPayload
: T extends Axiom ? HilbertAxiomPayload : HilbertBasePayload