declare const HealthProof: unique symbol;
export type HealthReceipt = {
  [HealthProof]: never;
};