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<
                    {
                        citationTypeGuess: TOptional<
                            TUnion<
                                [
                                    TUnion<[(...), (...), (...), (...), (...), (...), (...)]>,
                                    TLiteral<"unknown">,
                                ],
                            >,
                        >;
                        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"> }>,
            ],
        >,
    ],
> = ...