Module Smart.Context

type t
val make : Capability.t list -> t
val update : t -> Capability.t list -> unit
val is_cap_shared : t -> Capability.t -> bool
val capabilities : t -> Capability.t list * Capability.t list