Module Context.StateSource

Sourceval find : context -> 'a Heterogeneous_dict.key -> 'a option
Sourceval set : context -> 'a Heterogeneous_dict.Type.Id.t -> 'a option -> unit