declare module "ext:core/ops" {
  import type { FileReply } from "ext:file/errors.js";

  export type NetAddress =
    | { readonly transport: "tcp"; readonly hostname: string; readonly port: number }
    | { readonly transport: "unix"; readonly path: string | null };
  export interface NetUdpAddress {
    transport: "udp";
    hostname: string;
    port: number;
  }
  const listenerAddress: unique symbol;
  export type NetListenerId<A extends NetAddress> = number & { readonly [listenerAddress]: A };
  export type NetConnection<A extends NetAddress = NetAddress> = [id: number, local: A, remote: A];
  export type NetListener<A extends NetAddress = NetAddress> = [id: NetListenerId<A>, local: A];
  export type NetDatagram = [id: number, local: NetUdpAddress];
  export function op_net_listen(address: NetAddress & { __proto__?: null }): FileReply<NetListener>;
  export function op_net_connect_start(address: NetAddress & { __proto__?: null }): FileReply<number>;
  export function op_net_connected(id: number): Promise<FileReply<NetConnection>>;
  export function op_net_accept<A extends NetAddress>(id: NetListenerId<A>): Promise<FileReply<NetConnection<A>>>;
  export function op_net_read(args: [id: number, count: number]): Promise<FileReply<Uint8Array<ArrayBuffer> | null>>;
  export function op_net_write(args: [id: number, bytes: Uint8Array<ArrayBuffer>]): Promise<FileReply<number>>;
  export function op_net_writev(args: [id: number, buffers: Uint8Array<ArrayBuffer>[]]): Promise<FileReply<number>>;
  export function op_net_shutdown(id: number): Promise<FileReply<null>>;
  export function op_net_close(id: number): FileReply<null>;
  export function op_net_datagram_listen(address: NetUdpAddress & { __proto__?: null }): FileReply<NetDatagram>;
  export function op_net_datagram_broadcast(args: [id: number, enabled: boolean]): FileReply<null>;
  export function op_net_datagram_receive(
    args: [id: number, count: number],
  ): Promise<FileReply<[Uint8Array<ArrayBuffer>, NetUdpAddress]>>;
  export function op_net_datagram_send(
    args: [id: number, bytes: Uint8Array<ArrayBuffer>, target: NetUdpAddress],
  ): Promise<FileReply<number>>;
}