/** @noSelfInFile */
declare module '@asledgehammer/pipewrench' {
  export namespace java.util.zip {
    export type CRC32 = any;
  }
}