Library tezos-protocol-environment-shell

The entry point of this library is the module: Tezos_protocol_environment_shell.