Library tezos-protocol-alpha

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