Variable BasicsClaimSchemaConst

BasicsClaimSchema: TUnion<
    [
        TIntersect<
            [
                TObject<
                    {
                        checksum: TString;
                        frozen: TBoolean;
                        id: TString;
                        type: TUnion<
                            [TLiteral<"normal">, TLiteral<"citation">, TLiteral<"axiomatic">],
                        >;
                        version: TNumber;
                    },
                >,
                TObject<{ body: TString; title: TString; type: TLiteral<"normal"> }>,
            ],
        >,
        TIntersect<
            [
                TObject<
                    {
                        checksum: TString;
                        frozen: TBoolean;
                        id: TString;
                        type: TUnion<
                            [TLiteral<"normal">, TLiteral<"citation">, TLiteral<"axiomatic">],
                        >;
                        version: TNumber;
                    },
                >,
                TObject<{ title: TString; type: TLiteral<"citation">; url: TString }>,
            ],
        >,
        TIntersect<
            [
                TObject<
                    {
                        checksum: TString;
                        frozen: TBoolean;
                        id: TString;
                        type: TUnion<
                            [TLiteral<"normal">, TLiteral<"citation">, TLiteral<"axiomatic">],
                        >;
                        version: TNumber;
                    },
                >,
                TObject<{ axiom: TString; type: TLiteral<"axiomatic"> }>,
            ],
        >,
    ],
> = ...