Proxy_context.MSourceThe 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.