proposit-core
    Preparing search index...

    Variable CorePremiseSchemaConst

    CorePremiseSchema: TUnion<
        [
            TObject<
                {
                    argumentId: TString;
                    argumentVersion: TNumber;
                    checksum: TString;
                    combinedChecksum: TString;
                    descendantChecksum: TUnion<[TString, TNull]>;
                    id: TString;
                    type: TLiteral<"freeform">;
                },
            >,
            TObject<
                {
                    argumentId: TString;
                    argumentVersion: TNumber;
                    checksum: TString;
                    combinedChecksum: TString;
                    derivedClaimId: TString;
                    descendantChecksum: TUnion<[TString, TNull]>;
                    id: TString;
                    type: TLiteral<"derivation">;
                },
            >,
        ],
    > = ...