export declare const ContractNoBody: unique symbol;