add trait placeholder for Werbolg allocator

vincenthz · Dec 20, 2023 · 5392609 · 5392609
1 parent 5b24f07
commit 5392609
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/werbolg-exec/src/allocator.rs b/werbolg-exec/src/allocator.rs
@@ -0,0 +1,5 @@
+/// Werbolg Value allocator
+pub trait WAllocator {
+    /// the type of value managed by this allocator
+    type Value;
+}