type t
The type for capabilities.
val find : ('a, 'b, 'c) Prop.t -> t -> 'b option
find p s
is the capability of p
in c
(if any).
val set : ('a, 'b, 'c) Prop.t -> 'b -> t -> unit
set p v c
sets the capability of p
to v
in c
.
val delete : ('a, 'b, 'c) Prop.t -> t -> unit
delete p c
deletes the capability of p
from c
.