Detail run definition

OCamlPro · Aug 11, 2024 · e21c4ca · e21c4ca
1 parent c006b9a
commit e21c4ca
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))