1
2
3
4
5
let hash = Tezos_crypto.Hashed.Protocol_hash.of_b58check_exn "Ps9mPmXaRzmzk35gbAYNCAw6UXdE2qoABTHbN2oEEc1qM7CwT9P"
let name = Tezos_protocol_environment_000_Ps9mPmXa.Name.name
include Tezos_raw_protocol_000_Ps9mPmXa
include Tezos_raw_protocol_000_Ps9mPmXa.Main