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

/**
 * Parse + semantic-check without executing.
 * Returns JSON `{ "ok": bool, "error": string | null }`.
 */
export function check_tern(src: string): string;

/**
 * Run a complete .tern source program through the real BET VM.
 *
 * Returns JSON:
 * ```json
 * { "ok": true, "output": ["hello"], "trit": 1, "label": "affirm",
 *   "registers": ["Trit(Affirm)", "Int(42)"],
 *   "error": null, "cycles": 42 }
 * ```
 * On any error `ok` is false and `error` carries the message.
 */
export function run_tern(src: string): string;

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

export interface InitOutput {
    readonly memory: WebAssembly.Memory;
    readonly check_tern: (a: number, b: number) => [number, number];
    readonly run_tern: (a: number, b: number) => [number, number];
    readonly __wbindgen_externrefs: WebAssembly.Table;
    readonly __wbindgen_malloc: (a: number, b: number) => number;
    readonly __wbindgen_realloc: (a: number, b: number, c: number, d: number) => number;
    readonly __wbindgen_free: (a: number, b: number, c: number) => void;
    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>;
