diff options
| author | Estevan Castilho <tevo@riajuu.net> | 2026-09-17 01:52:58 +0000 |
|---|---|---|
| committer | Estevan Castilho <tevo@riajuu.net> | 2026-09-17 01:52:58 +0000 |
| commit | 4a172f7bc032d9d0e16fa446f1f5e19cc4feb0fe (patch) | |
| tree | e2c1bd4b467ee0bc383067ea700ca8333f4989fa /lib/kernel/Path.mli | |
| parent | 9af4d05d98ce64c30a65a21131a2ff4037d7651a (diff) | |
| parent | 2ec420d1542ea64978bdd4666a51ec4959f648b7 (diff) | |
| download | RNT-4a172f7bc032d9d0e16fa446f1f5e19cc4feb0fe.tar.gz RNT-4a172f7bc032d9d0e16fa446f1f5e19cc4feb0fe.zip | |
Merge branch 'master' into evaluator
Diffstat (limited to '')
| -rw-r--r-- | lib/kernel/Path.mli | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/lib/kernel/Path.mli b/lib/kernel/Path.mli index 85d0ca9..6a74350 100644 --- a/lib/kernel/Path.mli +++ b/lib/kernel/Path.mli @@ -3,4 +3,6 @@ type t val this : t val (@/) : string -> t -> t -val lookup : Protocols.Handle.t -> t -> (Protocols.Handle.t option, Concepts.Condition.condition) result +val lookup : Protocols.Handle.t -> t -> (Protocols.Handle.t, Concepts.Condition.condition) result + +val update : Protocols.Handle.t -> t -> string -> Protocols.Handle.t option -> Protocols.Handle.t option -> (bool, Concepts.Condition.condition) result |