ContractMeta<SF>: {
    customTermsShape?: Record<Parameters<SF>[0] extends ZCF<infer CT>
        ? keyof CT
        : never, Pattern>;
    privateArgsShape?: {
        [K in keyof Parameters<SF>[1]]: Pattern
    };
    upgradability?: "none" | "canBeUpgraded" | "canUpgrade";
}

Type Parameters

Type declaration

  • OptionalcustomTermsShape?: Record<Parameters<SF>[0] extends ZCF<infer CT>
        ? keyof CT
        : never, Pattern>
  • OptionalprivateArgsShape?: {
        [K in keyof Parameters<SF>[1]]: Pattern
    }
  • Optionalupgradability?: "none" | "canBeUpgraded" | "canUpgrade"
    • none means that the contract is not upgradable.
    • canUpgrade means this code can perform an upgrade
    • canBeUpgraded means that the contract stores kinds durably such that the next version can upgrade