interface TxContractCallimport { type TxContractCall } from "https://deno.land/x/clarinet@v0.28.1/index.ts"; Propertiescontract: stringmethod: stringargs: Array<string>