@benrogmans/lemma-engine 0.8.3 → 0.8.4

package/README.md

@@ -73,7 +73,6 @@ client.didOpen(uri, 'lemma', 1, documentText);
 | `schema(spec, effective?)` | `SpecSchema` |
 | `run(spec, rules, facts, effective?)` | `Response` |
 | `format(code, attribute?)` | string or throw |
-| `invert(...)` | throws (N/A) |
 
 ## Build (maintainers)
 

package/lemma.bindings.d.ts

@@ -103,11 +103,11 @@ export interface InitOutput {
     readonly wasmengine_new: () => number;
     readonly wasmengine_run: (a: number, b: number, c: number, d: number, e: number, f: number, g: number, h: number) => void;
     readonly wasmengine_schema: (a: number, b: number, c: number, d: number, e: number, f: number) => void;
-    readonly __wasm_bindgen_func_elem_9731: (a: number, b: number) => void;
-    readonly __wasm_bindgen_func_elem_385: (a: number, b: number) => void;
-    readonly __wasm_bindgen_func_elem_10982: (a: number, b: number, c: number, d: number) => void;
-    readonly __wasm_bindgen_func_elem_2764: (a: number, b: number, c: number, d: number) => void;
-    readonly __wasm_bindgen_func_elem_10985: (a: number, b: number, c: number, d: number) => void;
+    readonly __wasm_bindgen_func_elem_9705: (a: number, b: number) => void;
+    readonly __wasm_bindgen_func_elem_382: (a: number, b: number) => void;
+    readonly __wasm_bindgen_func_elem_10955: (a: number, b: number, c: number, d: number) => void;
+    readonly __wasm_bindgen_func_elem_2761: (a: number, b: number, c: number, d: number) => void;
+    readonly __wasm_bindgen_func_elem_10958: (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.bindings.js

@@ -365,10 +365,6 @@ function __wbg_get_imports() {
             const ret = typeof(val) === 'object' && val !== null;
             return ret;
         },
-        __wbg___wbindgen_is_string_7ef6b97b02428fae: function(arg0) {
-            const ret = typeof(getObject(arg0)) === 'string';
-            return ret;
-        },
         __wbg___wbindgen_is_undefined_52709e72fb9f179c: function(arg0) {
             const ret = getObject(arg0) === undefined;
             return ret;
@@ -575,10 +571,6 @@ function __wbg_get_imports() {
             const ret = new Error();
             return addHeapObject(ret);
         },
-        __wbg_new_49d5571bd3f0c4d4: function() {
-            const ret = new Map();
-            return addHeapObject(ret);
-        },
         __wbg_new_5415f704ce1c4eda: function() { return handleError(function () {
             const ret = new URLSearchParams();
             return addHeapObject(ret);
@@ -618,7 +610,7 @@ function __wbg_get_imports() {
                     const a = state0.a;
                     state0.a = 0;
                     try {
-                        return __wasm_bindgen_func_elem_10985(a, state0.b, arg0, arg1);
+                        return __wasm_bindgen_func_elem_10958(a, state0.b, arg0, arg1);
                     } finally {
                         state0.a = a;
                     }
@@ -701,10 +693,6 @@ function __wbg_get_imports() {
         __wbg_set_8c0b3ffcf05d61c2: function(arg0, arg1, arg2) {
             getObject(arg0).set(getArrayU8FromWasm0(arg1, arg2));
         },
-        __wbg_set_bf7251625df30a02: function(arg0, arg1, arg2) {
-            const ret = getObject(arg0).set(getObject(arg1), getObject(arg2));
-            return addHeapObject(ret);
-        },
         __wbg_set_headers_3c8fecc693b75327: function(arg0, arg1) {
             getObject(arg0).headers = getObject(arg1);
         },
@@ -781,13 +769,13 @@ function __wbg_get_imports() {
             return addHeapObject(ret);
         },
         __wbindgen_cast_0000000000000001: function(arg0, arg1) {
-            // Cast intrinsic for `Closure(Closure { dtor_idx: 1257, function: Function { arguments: [Externref], shim_idx: 1313, ret: Result(Unit), inner_ret: Some(Result(Unit)) }, mutable: true }) -> Externref`.
-            const ret = makeMutClosure(arg0, arg1, wasm.__wasm_bindgen_func_elem_9731, __wasm_bindgen_func_elem_10982);
+            // Cast intrinsic for `Closure(Closure { dtor_idx: 1256, function: Function { arguments: [Externref], shim_idx: 1312, ret: Result(Unit), inner_ret: Some(Result(Unit)) }, mutable: true }) -> Externref`.
+            const ret = makeMutClosure(arg0, arg1, wasm.__wasm_bindgen_func_elem_9705, __wasm_bindgen_func_elem_10955);
             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_385, __wasm_bindgen_func_elem_2764);
+            const ret = makeMutClosure(arg0, arg1, wasm.__wasm_bindgen_func_elem_382, __wasm_bindgen_func_elem_2761);
             return addHeapObject(ret);
         },
         __wbindgen_cast_0000000000000003: function(arg0) {
@@ -824,10 +812,10 @@ function __wbg_get_imports() {
     };
 }
 
-function __wasm_bindgen_func_elem_10982(arg0, arg1, arg2) {
+function __wasm_bindgen_func_elem_10955(arg0, arg1, arg2) {
     try {
         const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
-        wasm.__wasm_bindgen_func_elem_10982(retptr, arg0, arg1, addHeapObject(arg2));
+        wasm.__wasm_bindgen_func_elem_10955(retptr, arg0, arg1, addHeapObject(arg2));
         var r0 = getDataViewMemory0().getInt32(retptr + 4 * 0, true);
         var r1 = getDataViewMemory0().getInt32(retptr + 4 * 1, true);
         if (r1) {
@@ -838,10 +826,10 @@ function __wasm_bindgen_func_elem_10982(arg0, arg1, arg2) {
     }
 }
 
-function __wasm_bindgen_func_elem_2764(arg0, arg1, arg2) {
+function __wasm_bindgen_func_elem_2761(arg0, arg1, arg2) {
     try {
         const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
-        wasm.__wasm_bindgen_func_elem_2764(retptr, arg0, arg1, addHeapObject(arg2));
+        wasm.__wasm_bindgen_func_elem_2761(retptr, arg0, arg1, addHeapObject(arg2));
         var r0 = getDataViewMemory0().getInt32(retptr + 4 * 0, true);
         var r1 = getDataViewMemory0().getInt32(retptr + 4 * 1, true);
         if (r1) {
@@ -852,8 +840,8 @@ function __wasm_bindgen_func_elem_2764(arg0, arg1, arg2) {
     }
 }
 
-function __wasm_bindgen_func_elem_10985(arg0, arg1, arg2, arg3) {
-    wasm.__wasm_bindgen_func_elem_10985(arg0, arg1, addHeapObject(arg2), addHeapObject(arg3));
+function __wasm_bindgen_func_elem_10958(arg0, arg1, arg2, arg3) {
+    wasm.__wasm_bindgen_func_elem_10958(arg0, arg1, addHeapObject(arg2), addHeapObject(arg3));
 }