declare const InterfaceProof: unique symbol;
export type InterfaceReceipt = {
  [InterfaceProof]: never;
};