The entry point of this library is the module: Mavryk_embedded_protocol_genesis.
The entry point of this library is the module: Mavryk_protocol_genesis.
The entry point of this library is the module: Mavryk_protocol_environment_genesis.
The entry point of this library is the module: Mavryk_protocol_genesis_lifted.
The entry point of this library is the module: Mavryk_raw_protocol_genesis.