interface TxDeployContractimport { type TxDeployContract } from "https://deno.land/x/clarinet@v1.0.4-rc.1/index.ts"; Propertiescode: stringname: string