aboutsummaryrefslogblamecommitdiffstats
path: root/lib/kernel/Path.mli
blob: 198ef831f7e64e99300f1728459d6373b9c4d327 (plain) (tree)
1
2
3
4
5
6


            
                             
                                                                                                 
 













                                                           
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

val assoc :
  Protocols.Handle.t ->
  t ->
  string ->
  Protocols.Handle.t option ->
  (Protocols.Handle.t, Concepts.Condition.condition) result