Module Context.State

type 'a t = 'a Heterogeneous_dict.key
val make : unit -> 'a Heterogeneous_dict.Type.Id.t
val find : context -> 'a Heterogeneous_dict.key -> 'a option
val get : context -> 'a Heterogeneous_dict.key -> 'a
val set : context -> 'a Heterogeneous_dict.Type.Id.t -> 'a option -> unit