Variable headerViewWithHashCodecConst

headerViewWithHashCodec: Descriptor<
    WithHash<
        OpaqueHash & pvm.WithOpaque<"HeaderHash">,
        ViewOf<
            Header & CodecRecord<Header>,
            {
                bandersnatchBlockAuthorIndex: Descriptor<
                    number & WithBytesRepresentation<2> & pvm.WithOpaque<
                        "ValidatorIndex[u16]",
                    >,
                    Bytes<2>,
                >;
                entropySource: Descriptor<
                    Bytes<96> & pvm.WithOpaque<"BandersnatchVrfSignature">,
                    Bytes<96>,
                >;
                epochMarker: Descriptor<
                    EpochMarker
                    | null,

                        | ViewOf<
                            EpochMarker,
                            {
                                entropy: Descriptor<
                                    Bytes<(...)> & pvm.WithOpaque<(...)>,
                                    Bytes<32>,
                                >;
                                ticketsEntropy: Descriptor<
                                    Bytes<(...)> & pvm.WithOpaque<(...)>,
                                    Bytes<32>,
                                >;
                                validators: Descriptor<
                                    readonly (...)[] & pvm.WithOpaque<(...)>,
                                    SequenceView<ValidatorKeys, ViewOf<(...), (...)>>,
                                >;
                            },
                        >
                        | null,
                >;
                extrinsicHash: Descriptor<
                    Bytes<32> & pvm.WithOpaque<"ExtrinsicHash">,
                    Bytes<32>,
                >;
                offendersMarker: Descriptor<
                    (Bytes<32> & pvm.WithOpaque<"Ed25519Key">)[],
                    SequenceView<Bytes<32> & pvm.WithOpaque<"Ed25519Key">, Bytes<32>>,
                >;
                parentHeaderHash: Descriptor<
                    Bytes<32> & pvm.WithOpaque<"HeaderHash">,
                    Bytes<32>,
                >;
                priorStateRoot: Descriptor<
                    Bytes<32> & pvm.WithOpaque<"StateRootHash">,
                    Bytes<32>,
                >;
                seal: Descriptor<
                    Bytes<96> & pvm.WithOpaque<"BandersnatchVrfSignature">,
                    Bytes<96>,
                >;
                ticketsMarker: Descriptor<
                    TicketsMarker
                    | null,

                        | ViewOf<
                            TicketsMarker,
                            {
                                tickets: Descriptor<
                                    readonly (...)[] & pvm.WithOpaque<(...)>,
                                    SequenceView<Ticket, ViewOf<(...), (...)>>,
                                >;
                            },
                        >
                        | null,
                >;
                timeSlotIndex: Descriptor<
                    number & WithBytesRepresentation<4> & pvm.WithOpaque<
                        "TimeSlot[u32]",
                    >,
                    Bytes<4>,
                >;
            },
        >,
    >,
    ViewOf<
        WithHash<
            OpaqueHash & pvm.WithOpaque<"HeaderHash">,
            ViewOf<
                Header & CodecRecord<Header>,
                {
                    bandersnatchBlockAuthorIndex: Descriptor<
                        number & WithBytesRepresentation<2> & pvm.WithOpaque<
                            "ValidatorIndex[u16]",
                        >,
                        Bytes<2>,
                    >;
                    entropySource: Descriptor<
                        Bytes<96> & pvm.WithOpaque<"BandersnatchVrfSignature">,
                        Bytes<96>,
                    >;
                    epochMarker: Descriptor<
                        EpochMarker
                        | null,

                            | ViewOf<
                                EpochMarker,
                                {
                                    entropy: Descriptor<(...) & (...), Bytes<(...)>>;
                                    ticketsEntropy: Descriptor<(...) & (...), Bytes<(...)>>;
                                    validators: Descriptor<(...) & (...), SequenceView<(...), (...)>>;
                                },
                            >
                            | null,
                    >;
                    extrinsicHash: Descriptor<
                        Bytes<32> & pvm.WithOpaque<"ExtrinsicHash">,
                        Bytes<32>,
                    >;
                    offendersMarker: Descriptor<
                        (Bytes<32> & pvm.WithOpaque<"Ed25519Key">)[],
                        SequenceView<Bytes<32> & pvm.WithOpaque<"Ed25519Key">, Bytes<32>>,
                    >;
                    parentHeaderHash: Descriptor<
                        Bytes<32> & pvm.WithOpaque<"HeaderHash">,
                        Bytes<32>,
                    >;
                    priorStateRoot: Descriptor<
                        Bytes<32> & pvm.WithOpaque<"StateRootHash">,
                        Bytes<32>,
                    >;
                    seal: Descriptor<
                        Bytes<96> & pvm.WithOpaque<"BandersnatchVrfSignature">,
                        Bytes<96>,
                    >;
                    ticketsMarker: Descriptor<
                        TicketsMarker
                        | null,

                            | ViewOf<
                                TicketsMarker,
                                { tickets: Descriptor<(...) & (...), SequenceView<(...), (...)>> },
                            >
                            | null,
                    >;
                    timeSlotIndex: Descriptor<
                        number & WithBytesRepresentation<4> & pvm.WithOpaque<
                            "TimeSlot[u32]",
                        >,
                        Bytes<4>,
                    >;
                },
            >,
        >,
        {
            data: Descriptor<
                ViewOf<
                    Header & CodecRecord<Header>,
                    {
                        bandersnatchBlockAuthorIndex: Descriptor<
                            number & WithBytesRepresentation<2> & pvm.WithOpaque<
                                "ValidatorIndex[u16]",
                            >,
                            Bytes<2>,
                        >;
                        entropySource: Descriptor<
                            Bytes<96> & pvm.WithOpaque<"BandersnatchVrfSignature">,
                            Bytes<96>,
                        >;
                        epochMarker: Descriptor<
                            EpochMarker
                            | null,

                                | ViewOf<
                                    EpochMarker,
                                    {
                                        entropy: Descriptor<(...), (...)>;
                                        ticketsEntropy: Descriptor<(...), (...)>;
                                        validators: Descriptor<(...), (...)>;
                                    },
                                >
                                | null,
                        >;
                        extrinsicHash: Descriptor<
                            Bytes<32> & pvm.WithOpaque<"ExtrinsicHash">,
                            Bytes<32>,
                        >;
                        offendersMarker: Descriptor<
                            (Bytes<32> & pvm.WithOpaque<"Ed25519Key">)[],
                            SequenceView<Bytes<32> & pvm.WithOpaque<"Ed25519Key">, Bytes<32>>,
                        >;
                        parentHeaderHash: Descriptor<
                            Bytes<32> & pvm.WithOpaque<"HeaderHash">,
                            Bytes<32>,
                        >;
                        priorStateRoot: Descriptor<
                            Bytes<32> & pvm.WithOpaque<"StateRootHash">,
                            Bytes<32>,
                        >;
                        seal: Descriptor<
                            Bytes<96> & pvm.WithOpaque<"BandersnatchVrfSignature">,
                            Bytes<96>,
                        >;
                        ticketsMarker: Descriptor<
                            TicketsMarker
                            | null,
                            ViewOf<TicketsMarker, { tickets: Descriptor<(...), (...)> }> | null,
                        >;
                        timeSlotIndex: Descriptor<
                            number & WithBytesRepresentation<4> & pvm.WithOpaque<
                                "TimeSlot[u32]",
                            >,
                            Bytes<4>,
                        >;
                    },
                >,
                ViewOf<
                    Header & CodecRecord<Header>,
                    {
                        bandersnatchBlockAuthorIndex: Descriptor<
                            number & WithBytesRepresentation<2> & pvm.WithOpaque<
                                "ValidatorIndex[u16]",
                            >,
                            Bytes<2>,
                        >;
                        entropySource: Descriptor<
                            Bytes<96> & pvm.WithOpaque<"BandersnatchVrfSignature">,
                            Bytes<96>,
                        >;
                        epochMarker: Descriptor<
                            EpochMarker
                            | null,

                                | ViewOf<
                                    EpochMarker,
                                    {
                                        entropy: Descriptor<(...), (...)>;
                                        ticketsEntropy: Descriptor<(...), (...)>;
                                        validators: Descriptor<(...), (...)>;
                                    },
                                >
                                | null,
                        >;
                        extrinsicHash: Descriptor<
                            Bytes<32> & pvm.WithOpaque<"ExtrinsicHash">,
                            Bytes<32>,
                        >;
                        offendersMarker: Descriptor<
                            (Bytes<32> & pvm.WithOpaque<"Ed25519Key">)[],
                            SequenceView<Bytes<32> & pvm.WithOpaque<"Ed25519Key">, Bytes<32>>,
                        >;
                        parentHeaderHash: Descriptor<
                            Bytes<32> & pvm.WithOpaque<"HeaderHash">,
                            Bytes<32>,
                        >;
                        priorStateRoot: Descriptor<
                            Bytes<32> & pvm.WithOpaque<"StateRootHash">,
                            Bytes<32>,
                        >;
                        seal: Descriptor<
                            Bytes<96> & pvm.WithOpaque<"BandersnatchVrfSignature">,
                            Bytes<96>,
                        >;
                        ticketsMarker: Descriptor<
                            TicketsMarker
                            | null,
                            ViewOf<TicketsMarker, { tickets: Descriptor<(...), (...)> }> | null,
                        >;
                        timeSlotIndex: Descriptor<
                            number & WithBytesRepresentation<4> & pvm.WithOpaque<
                                "TimeSlot[u32]",
                            >,
                            Bytes<4>,
                        >;
                    },
                >,
            >;
            hash: Descriptor<Bytes<32> & pvm.WithOpaque<"HeaderHash">, Bytes<32>>;
        },
    >,
> = HeaderViewWithHash.Codec