Variable CorePropositionalVariableExpressionSchemaConst

CorePropositionalVariableExpressionSchema: TObject<
    {
        argumentId: TString;
        argumentVersion: TNumber;
        checksum: TString;
        combinedChecksum: TString;
        descendantChecksum: TUnion<[TString, TNull]>;
        id: TString;
        parentId: TUnion<[TString, TNull]>;
        position: TNumber;
        premiseId: TString;
        type: TLiteral<"variable">;
        variableId: TString;
    },
> = ...