interface TxReceiptimport { type TxReceipt } from "https://deno.land/x/clarinet@v1.0.2/index.ts"; Propertiesresult: stringevents: Array<any>