Command (tezos-protocol-000-Ps9mPmXa.Tezos_raw_protocol_000

type t =

| Activate of {
1. protocol : Tezos_protocol_environment_000_Ps9mPmXa.Protocol_hash.t;
2. fitness : Tezos_protocol_environment_000_Ps9mPmXa.Fitness.t;
3. protocol_parameters : Tezos_protocol_environment_000_Ps9mPmXa.MBytes.t;
}
| Activate_testchain of {
1. protocol : Tezos_protocol_environment_000_Ps9mPmXa.Protocol_hash.t;
2. delay : Tezos_protocol_environment_000_Ps9mPmXa.Int64.t;
}

val mk_case : 
  string ->
  'a Tezos_protocol_environment_000_Ps9mPmXa.Data_encoding.encoding ->
  'a Tezos_protocol_environment_000_Ps9mPmXa.Data_encoding.encoding

val encoding : t Tezos_protocol_environment_000_Ps9mPmXa.Data_encoding.encoding

val signed_encoding : 
  (t * Tezos_protocol_environment_000_Ps9mPmXa.Signature.t)
    Tezos_protocol_environment_000_Ps9mPmXa.Data_encoding.encoding

val forge : 
  Tezos_protocol_environment_000_Ps9mPmXa.Block_header.shell_header ->
  t ->
  Tezos_protocol_environment_000_Ps9mPmXa.MBytes.t