import { type MIREnumJSON } from "https://deno.land/x/lucid@0.7.9/src/core/wasm_modules/cardano_multiplatform_lib_web/cardano_multiplatform_lib.d.ts";
definition: { ToOtherPot: string; } | { ToStakeCredentials: { [k: string]: ProtocolParamUpdateJSON; }; }