Detail run definition

OCamlPro · Aug 6, 2024 · 4f46ef9 · 4f46ef9
1 parent 9f20f50
commit 4f46ef9
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/symbolic/symbolic_choice.ml b/src/symbolic/symbolic_choice.ml
@@ -32,7 +32,8 @@ module CoreImpl = struct
       | Choice of (('a, 'wls) status * ('a, 'wls) status)
       | Stop
 
-    let run (Sched mxf) wls = mxf wls
+    let run (Sched mxf : ('a, 'wls) t) (wls : 'wls) : ('a, 'wls) status =
+      mxf wls
 
     let return x : _ t = Sched (Fun.const (Now x))