interface MmrLeafIndex implements u64import { type MmrLeafIndex } from "https://dotland.deno.dev/x/polkadot@0.2.23/types/interfaces/mmr/index.ts";