Add server signature

anoma · Oct 15, 2024 · 8fb84c2 · 8fb84c2
1 parent c849486
commit 8fb84c2
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/gen-server-impl.sig b/gen-server-impl.sig
@@ -0,0 +1,9 @@
+signature GEN_SERVER_IMPL =
+sig
+    type param
+    type state
+    type msg
+
+    val init : param -> state
+    val handle_msg : state * msg -> state * msg option
+end