diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2026-09-11 01:06:06 -0300 |
|---|---|---|
| committer | Marcos Magueta <maguetamarcos@gmail.com> | 2026-09-11 01:10:28 -0300 |
| commit | dfedcd91fa4e948600fb4b2edb3516f70376c3a9 (patch) | |
| tree | 2aeedec5a8f8fe732fd5e53f0440f0c70f6f1a39 /lib/runtime/Context.mli | |
| parent | e3d42d5074be054c2f6a2e9f02805ab047f07db9 (diff) | |
| download | RNT-dfedcd91fa4e948600fb4b2edb3516f70376c3a9.tar.gz RNT-dfedcd91fa4e948600fb4b2edb3516f70376c3a9.zip | |
runtime context
Diffstat (limited to '')
| -rw-r--r-- | lib/runtime/Context.mli | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/lib/runtime/Context.mli b/lib/runtime/Context.mli new file mode 100644 index 0000000..31ef194 --- /dev/null +++ b/lib/runtime/Context.mli @@ -0,0 +1,8 @@ +val over : + root:Protocols.Handle.t -> + ?budget:int -> + ?cancelled:(unit -> bool) -> + unit -> + Protocols.Context.t + +val remaining : Protocols.Context.t -> int option |