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