Module Proxy_context.M

The module by which to parameterize Environment_context.Context.kind below.

Proxy_Delegate.T is packed as the type M.proxy_delegate, because it is used for obtaining pristine instances of Proxy_context with empty below.

type key = string list
val empty : tree
type t