import type * as _Case from "@effect-ts/core/Case"
import type * as _Has from "@effect-ts/core/Has"

/* eslint-disable @typescript-eslint/no-namespace */
export declare namespace Data {
  /**
   * @ets_rewrite_static Tagged from "@effect-ts/core/Case"
   */
  const Tagged: typeof _Case.Tagged

  /**
   * @ets_rewrite_static Case from "@effect-ts/core/Case"
   */
  const Case: typeof _Case.Case

  /**
   * @ets_rewrite_static tag from "@effect-ts/core/Has"
   */
  const tag: typeof _Has.tag
}