declare module "ext:core/ops" {
  export interface EncodeCounts {
    read: number;
    written: number;
  }
  export function op_encoding_decode_utf8(bytes: Uint8Array<ArrayBuffer>): string;
  export function op_encoding_close(id: number): null;
  export function op_encoding_label(label: string): string | null;
  export function op_encoding_encode(source: string): Uint8Array<ArrayBuffer>;
  export function op_encoding_encode_into(source: string, destination: Uint8Array<ArrayBuffer>): EncodeCounts;
  export function op_encoding_decode(
    args: [
      id: number | null,
      encoding: string,
      fatal: boolean,
      ignoreBOM: boolean,
      bytes: Uint8Array<ArrayBuffer>,
      stream: boolean,
    ],
  ): [text: string, invalid: boolean, id: number | null];
}