aboutsummaryrefslogtreecommitdiffstats
path: root/lib/kernel/Path.mli
blob: 6a743508f0082b14c3394536cb56b3e9074fc404 (plain) (blame)
1
2
3
4
5
6
7
8
type t

val this : t
val (@/) : string -> t -> t

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