Module Tezos_protocol_environment.Proxy_delegate

The module that needs to be implemented for providing the delegation feature to Proxy_context. Implementors willing to add a new backend to the client's --mode proxy should likely add a new implementation of this module type.

T as a type, to make it easier to pass it around