proposit-core
    Preparing search index...

    Interface TCoreDerivationStep

    The granted operator step that produced a derived value.

    interface TCoreDerivationStep {
        expressionId: string;
        fromVariableIds: string[];
        premiseId: string;
    }
    Index

    Properties

    expressionId: string

    The accepted operator expression that produced the value.

    fromVariableIds: string[]

    Variable IDs whose values the step consumed. One immediate step is recorded per value; walk these transitively to reconstruct a chain.

    premiseId: string

    The premise that operator lives in.