/* tslint:disable */
/* eslint-disable */

export function compile_dot(source: string): string;

export function compile_firrtl(source: string): string;

export function compile_rspu(source: string): string;

export function compile_sexpr(source: string): string;

export function compile_verilog(source: string): string;

export function infer_widths(source: string): string;

export function mirr_version(): string;

export function wasm_init(): void;

export type InitInput = RequestInfo | URL | Response | BufferSource | WebAssembly.Module;

export interface InitOutput {
    readonly memory: WebAssembly.Memory;
    readonly wasm_init: () => void;
    readonly compile_verilog: (a: number, b: number) => [number, number];
    readonly compile_firrtl: (a: number, b: number) => [number, number];
    readonly compile_sexpr: (a: number, b: number) => [number, number];
    readonly compile_dot: (a: number, b: number) => [number, number];
    readonly compile_rspu: (a: number, b: number) => [number, number];
    readonly infer_widths: (a: number, b: number) => [number, number];
    readonly mirr_version: () => [number, number];
    readonly __wbindgen_free: (a: number, b: number, c: number) => void;
    readonly __wbindgen_malloc: (a: number, b: number) => number;
    readonly __wbindgen_realloc: (a: number, b: number, c: number, d: number) => number;
    readonly __wbindgen_externrefs: WebAssembly.Table;
    readonly __wbindgen_start: () => void;
}

export type SyncInitInput = BufferSource | WebAssembly.Module;

/**
 * Instantiates the given `module`, which can either be bytes or
 * a precompiled `WebAssembly.Module`.
 *
 * @param {{ module: SyncInitInput }} module - Passing `SyncInitInput` directly is deprecated.
 *
 * @returns {InitOutput}
 */
export function initSync(module: { module: SyncInitInput } | SyncInitInput): InitOutput;

/**
 * If `module_or_path` is {RequestInfo} or {URL}, makes a request and
 * for everything else, calls `WebAssembly.instantiate` directly.
 *
 * @param {{ module_or_path: InitInput | Promise<InitInput> }} module_or_path - Passing `InitInput` directly is deprecated.
 *
 * @returns {Promise<InitOutput>}
 */
export default function __wbg_init (module_or_path?: { module_or_path: InitInput | Promise<InitInput> } | InitInput | Promise<InitInput>): Promise<InitOutput>;
