aboutsummaryrefslogtreecommitdiffstats
path: root/lib/kernel/Path.mli
blob: e3eac9ccadb061b81dd9ff9d51e53af1e64d3160 (plain) (blame)
1
2
3
4
5
6
7
8
9
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