tezos-protocol-008-PtEdoTez.embedded-protocol
Registerer.Source
tezos-protocol-008-PtEdoTez.protocol
tezos_protocol_008_PtEdoTez_lifted
tezos_protocol_environment_008_PtEdoTez
tezos_raw_protocol_008_PtEdoTez
val hash : Tezos_crypto.Hashed.Protocol_hash.t option
val sources : Tezos_base.Protocol.t