Start making memory parametric (wip)

OCamlPro · Jul 5, 2024 · 349e411 · 349e411
1 parent 05c9d9c
commit 349e411
Show file tree

Hide file tree

Showing 3 changed files with 240 additions and 187 deletions.
diff --git a/src/dune b/src/dune
@@ -64,6 +64,7 @@
   symbolic_choice_minimalist
   symbolic_global
   symbolic_memory
+  symbolic_memory_intf
   symbolic_table
   symbolic_value
   symbolic_wasm_ffi