tezos-protocol-005-PsBABY5H.embedded-protocol
Registerer.Source
tezos-protocol-005-PsBABY5H.protocol
tezos_protocol_005_PsBABY5H_lifted
tezos_protocol_environment_005_PsBABY5H
tezos_raw_protocol_005_PsBABY5H
val hash : Tezos_crypto.Hashed.Protocol_hash.t option
val sources : Tezos_base.Protocol.t