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