interface ClaridocContractimport { type ClaridocContract } from "https://deno.land/x/clarigen@v0.4.10/src/docs/index.ts"; Propertiesfunctions: ClaridocFunction[]comments: string[]