blob: 571e59c9b307e2e4fefccf9dfa3f17ff5cc736ab (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
type t
val this : t
val ( @/ ) : string -> t -> t
val of_list : string list -> t
val to_list : t -> string list
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
|
