method C.RedeemerTag.new_certimport { C } from "https://deno.land/x/lucid@0.10.7/src/mod.ts"; const { RedeemerTag } = C; new_cert()