Variable CorePropositionalVariableSchemaConst

CorePropositionalVariableSchema: TUnion<
    [
        TObject<
            {
                argumentId: TString;
                argumentVersion: TNumber;
                checksum: TString;
                claimId: TString;
                claimVersion: TNumber;
                id: TString;
                symbol: TString;
            },
        >,
        TObject<
            {
                argumentId: TString;
                argumentVersion: TNumber;
                boundArgumentId: TString;
                boundArgumentVersion: TNumber;
                boundPremiseId: TString;
                checksum: TString;
                id: TString;
                symbol: TString;
            },
        >,
    ],
> = ...