import { Int } from "https://deno.land/x/polkadot@0.2.12/types-codec/index.ts";