diff options
Diffstat (limited to 'lib/kernel/Generator.ml')
| -rw-r--r-- | lib/kernel/Generator.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/kernel/Generator.ml b/lib/kernel/Generator.ml index e4a15f8..10f6865 100644 --- a/lib/kernel/Generator.ml +++ b/lib/kernel/Generator.ml @@ -15,6 +15,8 @@ class producer_cursor produce on_release = inherit Lifecycle.null inherit Identity.of_id + method to_string = "producer-cursor" + val mutable state : [`Fresh | `Live of (unit, step) Effect.Deep.continuation | `Done] = `Fresh method protocols : Protocols.Handle.protocol list = Protocols.[Cursor.make self] method private step : (Concepts.Tuple.t option, Concepts.Condition.condition) result = |