@benrogmans/lemma-engine 0.8.0 → 0.8.2

package/lemma.d.ts

@@ -138,9 +138,11 @@ export interface InitOutput {
     readonly wasmengine_invert: (a: number, b: number, c: number, d: number, e: number, f: number, g: number, h: number, i: number, j: number) => void;
     readonly wasmengine_listSpecs: (a: number, b: number) => void;
     readonly wasmengine_new: () => number;
-    readonly __wasm_bindgen_func_elem_9471: (a: number, b: number) => void;
-    readonly __wasm_bindgen_func_elem_10661: (a: number, b: number, c: number, d: number) => void;
-    readonly __wasm_bindgen_func_elem_9486: (a: number, b: number, c: number) => void;
+    readonly __wasm_bindgen_func_elem_9297: (a: number, b: number) => void;
+    readonly __wasm_bindgen_func_elem_356: (a: number, b: number) => void;
+    readonly __wasm_bindgen_func_elem_10440: (a: number, b: number, c: number, d: number) => void;
+    readonly __wasm_bindgen_func_elem_2709: (a: number, b: number, c: number, d: number) => void;
+    readonly __wasm_bindgen_func_elem_10459: (a: number, b: number, c: number, d: number) => void;
     readonly __wbindgen_export: (a: number, b: number) => number;
     readonly __wbindgen_export2: (a: number, b: number, c: number, d: number) => number;
     readonly __wbindgen_export3: (a: number) => void;

package/lemma.js

@@ -472,27 +472,27 @@ export function serve(config) {
 function __wbg_get_imports() {
     const import0 = {
         __proto__: null,
-        __wbg___wbindgen_debug_string_0bc8482c6e3508ae: function(arg0, arg1) {
+        __wbg___wbindgen_debug_string_5398f5bb970e0daa: function(arg0, arg1) {
             const ret = debugString(getObject(arg1));
             const ptr1 = passStringToWasm0(ret, wasm.__wbindgen_export, wasm.__wbindgen_export2);
             const len1 = WASM_VECTOR_LEN;
             getDataViewMemory0().setInt32(arg0 + 4 * 1, len1, true);
             getDataViewMemory0().setInt32(arg0 + 4 * 0, ptr1, true);
         },
-        __wbg___wbindgen_is_function_0095a73b8b156f76: function(arg0) {
+        __wbg___wbindgen_is_function_3c846841762788c1: function(arg0) {
             const ret = typeof(getObject(arg0)) === 'function';
             return ret;
         },
-        __wbg___wbindgen_is_object_5ae8e5880f2c1fbd: function(arg0) {
+        __wbg___wbindgen_is_object_781bc9f159099513: function(arg0) {
             const val = getObject(arg0);
             const ret = typeof(val) === 'object' && val !== null;
             return ret;
         },
-        __wbg___wbindgen_is_undefined_9e4d92534c42d778: function(arg0) {
+        __wbg___wbindgen_is_undefined_52709e72fb9f179c: function(arg0) {
             const ret = getObject(arg0) === undefined;
             return ret;
         },
-        __wbg___wbindgen_string_get_72fb696202c56729: function(arg0, arg1) {
+        __wbg___wbindgen_string_get_395e606bd0ee4427: function(arg0, arg1) {
             const obj = getObject(arg1);
             const ret = typeof(obj) === 'string' ? obj : undefined;
             var ptr1 = isLikeNone(ret) ? 0 : passStringToWasm0(ret, wasm.__wbindgen_export, wasm.__wbindgen_export2);
@@ -500,58 +500,54 @@ function __wbg_get_imports() {
             getDataViewMemory0().setInt32(arg0 + 4 * 1, len1, true);
             getDataViewMemory0().setInt32(arg0 + 4 * 0, ptr1, true);
         },
-        __wbg___wbindgen_throw_be289d5034ed271b: function(arg0, arg1) {
+        __wbg___wbindgen_throw_6ddd609b62940d55: function(arg0, arg1) {
             throw new Error(getStringFromWasm0(arg0, arg1));
         },
-        __wbg__wbg_cb_unref_d9b87ff7982e3b21: function(arg0) {
+        __wbg__wbg_cb_unref_6b5b6b8576d35cb1: function(arg0) {
             getObject(arg0)._wbg_cb_unref();
         },
-        __wbg_buffer_e0346dab6225d121: function(arg0) {
+        __wbg_buffer_e0851da9dee8b991: function(arg0) {
             const ret = getObject(arg0).buffer;
             return addHeapObject(ret);
         },
-        __wbg_byobRequest_338ee64e53ddd87b: function(arg0) {
+        __wbg_byobRequest_b7b7dc91511df816: function(arg0) {
             const ret = getObject(arg0).byobRequest;
             return isLikeNone(ret) ? 0 : addHeapObject(ret);
         },
-        __wbg_byteLength_96fd6c084c1a7a0d: function(arg0) {
+        __wbg_byteLength_811fef9e08eaa78e: function(arg0) {
             const ret = getObject(arg0).byteLength;
             return ret;
         },
-        __wbg_byteOffset_c9e81ef47dca6819: function(arg0) {
+        __wbg_byteOffset_ea230546a0297033: function(arg0) {
             const ret = getObject(arg0).byteOffset;
             return ret;
         },
-        __wbg_bytes_literal_aea1dac9bf84850e: function() {
+        __wbg_bytes_literal_e5a87f6707f097d2: function() {
             const ret = bytes_literal();
             return addHeapObject(ret);
         },
-        __wbg_call_389efe28435a9388: function() { return handleError(function (arg0, arg1) {
-            const ret = getObject(arg0).call(getObject(arg1));
-            return addHeapObject(ret);
-        }, arguments); },
-        __wbg_call_4708e0c13bdc8e95: function() { return handleError(function (arg0, arg1, arg2) {
+        __wbg_call_2d781c1f4d5c0ef8: function() { return handleError(function (arg0, arg1, arg2) {
             const ret = getObject(arg0).call(getObject(arg1), getObject(arg2));
             return addHeapObject(ret);
         }, arguments); },
-        __wbg_close_7c18aa67b8539098: function(arg0) {
-            getObject(arg0).close();
+        __wbg_close_45c653345d40a7e8: function(arg0) {
+            const ret = getObject(arg0).close();
+            return addHeapObject(ret);
         },
-        __wbg_close_7c324b6e045f281a: function(arg0) {
+        __wbg_close_7a687d357ff8e0e0: function(arg0) {
             getObject(arg0).close();
         },
-        __wbg_close_c40d5219e03385a2: function(arg0) {
-            const ret = getObject(arg0).close();
-            return addHeapObject(ret);
+        __wbg_close_8d217f4c57faede7: function(arg0) {
+            getObject(arg0).close();
         },
-        __wbg_done_57b39ecd9addfe81: function(arg0) {
+        __wbg_done_08ce71ee07e3bd17: function(arg0) {
             const ret = getObject(arg0).done;
             return ret;
         },
-        __wbg_enqueue_6c79790ce6e00627: function(arg0, arg1) {
+        __wbg_enqueue_74e7ffeb3e67888a: function(arg0, arg1) {
             getObject(arg0).enqueue(getObject(arg1));
         },
-        __wbg_error_7534b8e9a36f1ab4: function(arg0, arg1) {
+        __wbg_error_a6fa202b58aa1cd3: function(arg0, arg1) {
             let deferred0_0;
             let deferred0_1;
             try {
@@ -562,23 +558,23 @@ function __wbg_get_imports() {
                 wasm.__wbindgen_export4(deferred0_0, deferred0_1, 1);
             }
         },
-        __wbg_fetch_a9bc66c159c18e19: function(arg0) {
+        __wbg_fetch_8d9b732df7467c44: function(arg0) {
             const ret = fetch(getObject(arg0));
             return addHeapObject(ret);
         },
-        __wbg_getTime_1e3cd1391c5c3995: function(arg0) {
+        __wbg_getTime_1dad7b5386ddd2d9: function(arg0) {
             const ret = getObject(arg0).getTime();
             return ret;
         },
-        __wbg_getTimezoneOffset_81776d10a4ec18a8: function(arg0) {
+        __wbg_getTimezoneOffset_639bcf2dde21158b: function(arg0) {
             const ret = getObject(arg0).getTimezoneOffset();
             return ret;
         },
-        __wbg_getWriter_1d11da1210cc84ba: function() { return handleError(function (arg0) {
+        __wbg_getWriter_149120e35db2c28d: function() { return handleError(function (arg0) {
             const ret = getObject(arg0).getWriter();
             return addHeapObject(ret);
         }, arguments); },
-        __wbg_instanceof_Error_8573fe0b0b480f46: function(arg0) {
+        __wbg_instanceof_Error_4691a5b466e32a80: function(arg0) {
             let result;
             try {
                 result = getObject(arg0) instanceof Error;
@@ -588,7 +584,7 @@ function __wbg_get_imports() {
             const ret = result;
             return ret;
         },
-        __wbg_instanceof_Response_ee1d54d79ae41977: function(arg0) {
+        __wbg_instanceof_Response_9b4d9fd451e051b1: function(arg0) {
             let result;
             try {
                 result = getObject(arg0) instanceof Response;
@@ -598,7 +594,7 @@ function __wbg_get_imports() {
             const ret = result;
             return ret;
         },
-        __wbg_instanceof_Uint8Array_9b9075935c74707c: function(arg0) {
+        __wbg_instanceof_Uint8Array_740438561a5b956d: function(arg0) {
             let result;
             try {
                 result = getObject(arg0) instanceof Uint8Array;
@@ -608,54 +604,62 @@ function __wbg_get_imports() {
             const ret = result;
             return ret;
         },
-        __wbg_length_32ed9a279acd054c: function(arg0) {
+        __wbg_length_ea16607d7b61445b: function(arg0) {
             const ret = getObject(arg0).length;
             return ret;
         },
-        __wbg_message_9ddc4b9a62a7c379: function(arg0) {
+        __wbg_message_00d63f20c41713dd: function(arg0) {
             const ret = getObject(arg0).message;
             return addHeapObject(ret);
         },
-        __wbg_name_446e25ef2cfdab5a: function(arg0) {
+        __wbg_name_ecf53d5e050a495d: function(arg0) {
             const ret = getObject(arg0).name;
             return addHeapObject(ret);
         },
-        __wbg_new_074b505417ada2d9: function() { return handleError(function () {
-            const ret = new URLSearchParams();
+        __wbg_new_0837727332ac86ba: function() { return handleError(function () {
+            const ret = new Headers();
             return addHeapObject(ret);
         }, arguments); },
-        __wbg_new_0_73afc35eb544e539: function() {
+        __wbg_new_0_1dcafdf5e786e876: function() {
             const ret = new Date();
             return addHeapObject(ret);
         },
-        __wbg_new_245cd5c49157e602: function(arg0) {
-            const ret = new Date(getObject(arg0));
+        __wbg_new_227d7c05414eb861: function() {
+            const ret = new Error();
             return addHeapObject(ret);
         },
-        __wbg_new_361308b2356cecd0: function() {
+        __wbg_new_5415f704ce1c4eda: function() { return handleError(function () {
+            const ret = new URLSearchParams();
+            return addHeapObject(ret);
+        }, arguments); },
+        __wbg_new_ab79df5bd7c26067: function() {
             const ret = new Object();
             return addHeapObject(ret);
         },
-        __wbg_new_64284bd487f9d239: function() { return handleError(function () {
-            const ret = new Headers();
+        __wbg_new_bb1018d527df73cb: function() { return handleError(function (arg0, arg1) {
+            const ret = new URL(getStringFromWasm0(arg0, arg1));
             return addHeapObject(ret);
         }, arguments); },
-        __wbg_new_72b49615380db768: function(arg0, arg1) {
+        __wbg_new_d15cb560a6a0e5f0: function(arg0, arg1) {
             const ret = new Error(getStringFromWasm0(arg0, arg1));
             return addHeapObject(ret);
         },
-        __wbg_new_8a6f238a6ece86ea: function() {
-            const ret = new Error();
+        __wbg_new_fd94ca5c9639abd2: function(arg0) {
+            const ret = new Date(getObject(arg0));
+            return addHeapObject(ret);
+        },
+        __wbg_new_from_slice_22da9388ac046e50: function(arg0, arg1) {
+            const ret = new Uint8Array(getArrayU8FromWasm0(arg0, arg1));
             return addHeapObject(ret);
         },
-        __wbg_new_b5d9e2fb389fef91: function(arg0, arg1) {
+        __wbg_new_typed_aaaeaf29cf802876: function(arg0, arg1) {
             try {
                 var state0 = {a: arg0, b: arg1};
                 var cb0 = (arg0, arg1) => {
                     const a = state0.a;
                     state0.a = 0;
                     try {
-                        return __wasm_bindgen_func_elem_10661(a, state0.b, arg0, arg1);
+                        return __wasm_bindgen_func_elem_10459(a, state0.b, arg0, arg1);
                     } finally {
                         state0.a = a;
                     }
@@ -666,158 +670,151 @@ function __wbg_get_imports() {
                 state0.a = state0.b = 0;
             }
         },
-        __wbg_new_c2f21774701ddac7: function() { return handleError(function (arg0, arg1) {
-            const ret = new URL(getStringFromWasm0(arg0, arg1));
-            return addHeapObject(ret);
-        }, arguments); },
-        __wbg_new_from_slice_a3d2629dc1826784: function(arg0, arg1) {
-            const ret = new Uint8Array(getArrayU8FromWasm0(arg0, arg1));
-            return addHeapObject(ret);
-        },
-        __wbg_new_no_args_1c7c842f08d00ebb: function(arg0, arg1) {
-            const ret = new Function(getStringFromWasm0(arg0, arg1));
-            return addHeapObject(ret);
-        },
-        __wbg_new_with_byte_offset_and_length_aa261d9c9da49eb1: function(arg0, arg1, arg2) {
+        __wbg_new_with_byte_offset_and_length_b2ec5bf7b2f35743: function(arg0, arg1, arg2) {
             const ret = new Uint8Array(getObject(arg0), arg1 >>> 0, arg2 >>> 0);
             return addHeapObject(ret);
         },
-        __wbg_new_with_str_a7c7f835549b152a: function() { return handleError(function (arg0, arg1) {
+        __wbg_new_with_str_4c859c3e69e6cb15: function() { return handleError(function (arg0, arg1) {
             const ret = new Request(getStringFromWasm0(arg0, arg1));
             return addHeapObject(ret);
         }, arguments); },
-        __wbg_new_with_str_and_init_a61cbc6bdef21614: function() { return handleError(function (arg0, arg1, arg2) {
+        __wbg_new_with_str_and_init_b4b54d1a819bc724: function() { return handleError(function (arg0, arg1, arg2) {
             const ret = new Request(getStringFromWasm0(arg0, arg1), getObject(arg2));
             return addHeapObject(ret);
         }, arguments); },
-        __wbg_next_0a5e0f8af98146aa: function() { return handleError(function (arg0) {
+        __wbg_next_9c645ba5e1273237: function() { return handleError(function (arg0) {
             const ret = getObject(arg0).next();
             return addHeapObject(ret);
         }, arguments); },
-        __wbg_ok_87f537440a0acf85: function(arg0) {
+        __wbg_ok_7ec8b94facac7704: function(arg0) {
             const ret = getObject(arg0).ok;
             return ret;
         },
-        __wbg_prototypesetcall_bdcdcc5842e4d77d: function(arg0, arg1, arg2) {
+        __wbg_prototypesetcall_d62e5099504357e6: function(arg0, arg1, arg2) {
             Uint8Array.prototype.set.call(getArrayU8FromWasm0(arg0, arg1), getObject(arg2));
         },
-        __wbg_queueMicrotask_0aa0a927f78f5d98: function(arg0) {
+        __wbg_queueMicrotask_0c399741342fb10f: function(arg0) {
             const ret = getObject(arg0).queueMicrotask;
             return addHeapObject(ret);
         },
-        __wbg_queueMicrotask_5bb536982f78a56f: function(arg0) {
+        __wbg_queueMicrotask_a082d78ce798393e: function(arg0) {
             queueMicrotask(getObject(arg0));
         },
-        __wbg_ready_2258e8118fee9761: function(arg0) {
+        __wbg_ready_bf757735fa2c98fc: function(arg0) {
             const ret = getObject(arg0).ready;
             return addHeapObject(ret);
         },
-        __wbg_releaseLock_aea38d9ddf66ea11: function(arg0) {
+        __wbg_releaseLock_48ae86fe0d5c344a: function(arg0) {
             getObject(arg0).releaseLock();
         },
-        __wbg_resolve_002c4b7d9d8f6b64: function(arg0) {
+        __wbg_resolve_ae8d83246e5bcc12: function(arg0) {
             const ret = Promise.resolve(getObject(arg0));
             return addHeapObject(ret);
         },
-        __wbg_respond_f90c76a13ed2dae9: function(arg0, arg1) {
+        __wbg_respond_137ffa35de748507: function(arg0, arg1) {
             getObject(arg0).respond(arg1 >>> 0);
         },
-        __wbg_search_143f09a35047e800: function(arg0, arg1) {
+        __wbg_search_35617fb7936183df: function(arg0, arg1) {
             const ret = getObject(arg1).search;
             const ptr1 = passStringToWasm0(ret, wasm.__wbindgen_export, wasm.__wbindgen_export2);
             const len1 = WASM_VECTOR_LEN;
             getDataViewMemory0().setInt32(arg0 + 4 * 1, len1, true);
             getDataViewMemory0().setInt32(arg0 + 4 * 0, ptr1, true);
         },
-        __wbg_set_cc56eefd2dd91957: function(arg0, arg1, arg2) {
+        __wbg_set_8c0b3ffcf05d61c2: function(arg0, arg1, arg2) {
             getObject(arg0).set(getArrayU8FromWasm0(arg1, arg2));
         },
-        __wbg_set_headers_cfc5f4b2c1f20549: function(arg0, arg1) {
+        __wbg_set_headers_3c8fecc693b75327: function(arg0, arg1) {
             getObject(arg0).headers = getObject(arg1);
         },
-        __wbg_set_method_c3e20375f5ae7fac: function(arg0, arg1, arg2) {
+        __wbg_set_method_8c015e8bcafd7be1: function(arg0, arg1, arg2) {
             getObject(arg0).method = getStringFromWasm0(arg1, arg2);
         },
-        __wbg_set_search_1d369b0f3868e132: function(arg0, arg1, arg2) {
+        __wbg_set_search_bd09fe57b201bac5: function(arg0, arg1, arg2) {
             getObject(arg0).search = getStringFromWasm0(arg1, arg2);
         },
-        __wbg_stack_0ed75d68575b0f3c: function(arg0, arg1) {
+        __wbg_stack_3b0d974bbf31e44f: function(arg0, arg1) {
             const ret = getObject(arg1).stack;
             const ptr1 = passStringToWasm0(ret, wasm.__wbindgen_export, wasm.__wbindgen_export2);
             const len1 = WASM_VECTOR_LEN;
             getDataViewMemory0().setInt32(arg0 + 4 * 1, len1, true);
             getDataViewMemory0().setInt32(arg0 + 4 * 0, ptr1, true);
         },
-        __wbg_static_accessor_GLOBAL_12837167ad935116: function() {
+        __wbg_static_accessor_GLOBAL_8adb955bd33fac2f: function() {
             const ret = typeof global === 'undefined' ? null : global;
             return isLikeNone(ret) ? 0 : addHeapObject(ret);
         },
-        __wbg_static_accessor_GLOBAL_THIS_e628e89ab3b1c95f: function() {
+        __wbg_static_accessor_GLOBAL_THIS_ad356e0db91c7913: function() {
             const ret = typeof globalThis === 'undefined' ? null : globalThis;
             return isLikeNone(ret) ? 0 : addHeapObject(ret);
         },
-        __wbg_static_accessor_SELF_a621d3dfbb60d0ce: function() {
+        __wbg_static_accessor_SELF_f207c857566db248: function() {
             const ret = typeof self === 'undefined' ? null : self;
             return isLikeNone(ret) ? 0 : addHeapObject(ret);
         },
-        __wbg_static_accessor_WINDOW_f8727f0cf888e0bd: function() {
+        __wbg_static_accessor_WINDOW_bb9f1ba69d61b386: function() {
             const ret = typeof window === 'undefined' ? null : window;
             return isLikeNone(ret) ? 0 : addHeapObject(ret);
         },
-        __wbg_status_89d7e803db911ee7: function(arg0) {
+        __wbg_status_318629ab93a22955: function(arg0) {
             const ret = getObject(arg0).status;
             return ret;
         },
-        __wbg_text_083b8727c990c8c0: function() { return handleError(function (arg0) {
+        __wbg_text_372f5b91442c50f9: function() { return handleError(function (arg0) {
             const ret = getObject(arg0).text();
             return addHeapObject(ret);
         }, arguments); },
-        __wbg_then_0d9fe2c7b1857d32: function(arg0, arg1, arg2) {
-            const ret = getObject(arg0).then(getObject(arg1), getObject(arg2));
+        __wbg_then_098abe61755d12f6: function(arg0, arg1) {
+            const ret = getObject(arg0).then(getObject(arg1));
             return addHeapObject(ret);
         },
-        __wbg_then_b9e7b3b5f1a9e1b5: function(arg0, arg1) {
-            const ret = getObject(arg0).then(getObject(arg1));
+        __wbg_then_9e335f6dd892bc11: function(arg0, arg1, arg2) {
+            const ret = getObject(arg0).then(getObject(arg1), getObject(arg2));
             return addHeapObject(ret);
         },
-        __wbg_toString_029ac24421fd7a24: function(arg0) {
+        __wbg_toString_3272fa0dfd05dd87: function(arg0) {
             const ret = getObject(arg0).toString();
             return addHeapObject(ret);
         },
-        __wbg_toString_964ff7fe6eca8362: function(arg0) {
+        __wbg_toString_fca8b5e46235cfb4: function(arg0) {
             const ret = getObject(arg0).toString();
             return addHeapObject(ret);
         },
-        __wbg_url_36c39f6580d05409: function(arg0, arg1) {
+        __wbg_url_b6f96880b733816c: function(arg0, arg1) {
             const ret = getObject(arg1).url;
             const ptr1 = passStringToWasm0(ret, wasm.__wbindgen_export, wasm.__wbindgen_export2);
             const len1 = WASM_VECTOR_LEN;
             getDataViewMemory0().setInt32(arg0 + 4 * 1, len1, true);
             getDataViewMemory0().setInt32(arg0 + 4 * 0, ptr1, true);
         },
-        __wbg_value_0546255b415e96c1: function(arg0) {
+        __wbg_value_21fc78aab0322612: function(arg0) {
             const ret = getObject(arg0).value;
             return addHeapObject(ret);
         },
-        __wbg_view_b29b448440a527c0: function(arg0) {
+        __wbg_view_98a9719f4bca1157: function(arg0) {
             const ret = getObject(arg0).view;
             return isLikeNone(ret) ? 0 : addHeapObject(ret);
         },
-        __wbg_write_c4a2180120884395: function(arg0, arg1) {
+        __wbg_write_1efac7e6738150f4: function(arg0, arg1) {
             const ret = getObject(arg0).write(takeObject(arg1));
             return addHeapObject(ret);
         },
         __wbindgen_cast_0000000000000001: function(arg0, arg1) {
-            // Cast intrinsic for `Closure(Closure { dtor_idx: 1154, function: Function { arguments: [Externref], shim_idx: 1155, ret: Unit, inner_ret: Some(Unit) }, mutable: true }) -> Externref`.
-            const ret = makeMutClosure(arg0, arg1, wasm.__wasm_bindgen_func_elem_9471, __wasm_bindgen_func_elem_9486);
+            // Cast intrinsic for `Closure(Closure { dtor_idx: 1185, function: Function { arguments: [Externref], shim_idx: 1238, ret: Result(Unit), inner_ret: Some(Result(Unit)) }, mutable: true }) -> Externref`.
+            const ret = makeMutClosure(arg0, arg1, wasm.__wasm_bindgen_func_elem_9297, __wasm_bindgen_func_elem_10440);
+            return addHeapObject(ret);
+        },
+        __wbindgen_cast_0000000000000002: function(arg0, arg1) {
+            // Cast intrinsic for `Closure(Closure { dtor_idx: 7, function: Function { arguments: [NamedExternref("IteratorResult<any>")], shim_idx: 8, ret: Result(Unit), inner_ret: Some(Result(Unit)) }, mutable: true }) -> Externref`.
+            const ret = makeMutClosure(arg0, arg1, wasm.__wasm_bindgen_func_elem_356, __wasm_bindgen_func_elem_2709);
             return addHeapObject(ret);
         },
-        __wbindgen_cast_0000000000000002: function(arg0) {
+        __wbindgen_cast_0000000000000003: function(arg0) {
             // Cast intrinsic for `F64 -> Externref`.
             const ret = arg0;
             return addHeapObject(ret);
         },
-        __wbindgen_cast_0000000000000003: function(arg0, arg1) {
+        __wbindgen_cast_0000000000000004: function(arg0, arg1) {
             // Cast intrinsic for `Ref(String) -> Externref`.
             const ret = getStringFromWasm0(arg0, arg1);
             return addHeapObject(ret);
@@ -836,12 +833,36 @@ function __wbg_get_imports() {
     };
 }
 
-function __wasm_bindgen_func_elem_9486(arg0, arg1, arg2) {
-    wasm.__wasm_bindgen_func_elem_9486(arg0, arg1, addHeapObject(arg2));
+function __wasm_bindgen_func_elem_10440(arg0, arg1, arg2) {
+    try {
+        const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
+        wasm.__wasm_bindgen_func_elem_10440(retptr, arg0, arg1, addHeapObject(arg2));
+        var r0 = getDataViewMemory0().getInt32(retptr + 4 * 0, true);
+        var r1 = getDataViewMemory0().getInt32(retptr + 4 * 1, true);
+        if (r1) {
+            throw takeObject(r0);
+        }
+    } finally {
+        wasm.__wbindgen_add_to_stack_pointer(16);
+    }
+}
+
+function __wasm_bindgen_func_elem_2709(arg0, arg1, arg2) {
+    try {
+        const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
+        wasm.__wasm_bindgen_func_elem_2709(retptr, arg0, arg1, addHeapObject(arg2));
+        var r0 = getDataViewMemory0().getInt32(retptr + 4 * 0, true);
+        var r1 = getDataViewMemory0().getInt32(retptr + 4 * 1, true);
+        if (r1) {
+            throw takeObject(r0);
+        }
+    } finally {
+        wasm.__wbindgen_add_to_stack_pointer(16);
+    }
 }
 
-function __wasm_bindgen_func_elem_10661(arg0, arg1, arg2, arg3) {
-    wasm.__wasm_bindgen_func_elem_10661(arg0, arg1, addHeapObject(arg2), addHeapObject(arg3));
+function __wasm_bindgen_func_elem_10459(arg0, arg1, arg2, arg3) {
+    wasm.__wasm_bindgen_func_elem_10459(arg0, arg1, addHeapObject(arg2), addHeapObject(arg3));
 }
 
 
@@ -956,7 +977,7 @@ function debugString(val) {
 }
 
 function dropObject(idx) {
-    if (idx < 132) return;
+    if (idx < 1028) return;
     heap[idx] = heap_next;
     heap_next = idx;
 }
@@ -997,7 +1018,7 @@ function handleError(f, args) {
     }
 }
 
-let heap = new Array(128).fill(undefined);
+let heap = new Array(1024).fill(undefined);
 heap.push(undefined, null, true, false);
 
 let heap_next = heap.length;

package/lemma_bg.wasm.d.ts

@@ -36,9 +36,11 @@ export const wasmengine_getSchemaEffective: (a: number, b: number, c: number, d:
 export const wasmengine_invert: (a: number, b: number, c: number, d: number, e: number, f: number, g: number, h: number, i: number, j: number) => void;
 export const wasmengine_listSpecs: (a: number, b: number) => void;
 export const wasmengine_new: () => number;
-export const __wasm_bindgen_func_elem_9471: (a: number, b: number) => void;
-export const __wasm_bindgen_func_elem_10661: (a: number, b: number, c: number, d: number) => void;
-export const __wasm_bindgen_func_elem_9486: (a: number, b: number, c: number) => void;
+export const __wasm_bindgen_func_elem_9297: (a: number, b: number) => void;
+export const __wasm_bindgen_func_elem_356: (a: number, b: number) => void;
+export const __wasm_bindgen_func_elem_10440: (a: number, b: number, c: number, d: number) => void;
+export const __wasm_bindgen_func_elem_2709: (a: number, b: number, c: number, d: number) => void;
+export const __wasm_bindgen_func_elem_10459: (a: number, b: number, c: number, d: number) => void;
 export const __wbindgen_export: (a: number, b: number) => number;
 export const __wbindgen_export2: (a: number, b: number, c: number, d: number) => number;
 export const __wbindgen_export3: (a: number) => void;

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@benrogmans/lemma-engine",
-  "version": "0.8.0",
+  "version": "0.8.2",
   "description": "Language Server Protocol implementation for Lemma",
   "type": "module",
   "main": "lemma.js",
@@ -9,8 +9,8 @@
     "lemma_bg.wasm",
     "lemma.js",
     "lemma.d.ts",
-    "lemma_bg.js",
-    "lemma_bg.wasm.d.ts"
+    "lemma_bg.wasm.d.ts",
+    "snippets"
   ],
   "keywords": [
     "wasm",

package/snippets/wasm-streams-42e57edbcd526312/inline0.js

@@ -0,0 +1 @@
+export function bytes_literal() { return "bytes"; }