Module Core.CtxSource

Sourcetype t
Sourcetype 'a key
Sourceval empty : t
Sourceval add : 'a key -> 'a -> t -> t
Sourceval find : 'a key -> t -> 'a option
Sourceval remove : 'a key -> t -> t
Sourceval create_key : unit -> 'a key
Sourceval id : t -> string