diff options
| author | Estevan Castilho <tevo@riajuu.net> | 2026-09-17 02:20:19 +0000 |
|---|---|---|
| committer | Estevan Castilho <tevo@riajuu.net> | 2026-09-17 02:20:19 +0000 |
| commit | ccfb6d58dc469a8f8a7e2e09bd520aea71f8cbf3 (patch) | |
| tree | 32739d84839f72ed24f7a778239db3b3473542a0 /lib/runtime/Context.mli | |
| parent | 4a172f7bc032d9d0e16fa446f1f5e19cc4feb0fe (diff) | |
| download | RNT-ccfb6d58dc469a8f8a7e2e09bd520aea71f8cbf3.tar.gz RNT-ccfb6d58dc469a8f8a7e2e09bd520aea71f8cbf3.zip | |
Implement `resolve` in terms of the path utilities
Diffstat (limited to 'lib/runtime/Context.mli')
| -rw-r--r-- | lib/runtime/Context.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/runtime/Context.mli b/lib/runtime/Context.mli index 6e7ab2f..214071b 100644 --- a/lib/runtime/Context.mli +++ b/lib/runtime/Context.mli @@ -1,6 +1,6 @@ val resolve : Protocols.Context.t -> - string -> + Kernel.Path.t -> (Protocols.Handle.t option, Concepts.Condition.condition) result val over : |