Variable BasicsPremiseSchemaConst

BasicsPremiseSchema: TIntersect<
    [
        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">;
                    },
                >,
            ],
        >,
        TObject<{ title: TString }>,
    ],
> = ...