tezos-protocol-008-PtEdo2Zk.embedded-protocol
Registerer.Source
tezos-protocol-008-PtEdo2Zk.protocol
tezos_protocol_008_PtEdo2Zk_lifted
tezos_protocol_environment_008_PtEdo2Zk
tezos_raw_protocol_008_PtEdo2Zk
val hash : Tezos_crypto.Hashed.Protocol_hash.t option
val sources : Tezos_base.Protocol.t