variable Core.RedeemerTagKindimport { Core } from "https://deno.land/x/lucid@0.7.6/mod.ts"; const { RedeemerTagKind } = Core;