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

val this : t
val of_string : string -> t
val (@/) : string -> t -> t
val lookup : Protocols.Handle.t -> t -> (Protocols.Handle.t option, Concepts.Condition.condition) result