Data.Commandtype t = | Activate of {protocol : Mavryk_protocol_environment_000_PsUCFkqU.Protocol_hash.t;fitness : Mavryk_protocol_environment_000_PsUCFkqU.Fitness.t;protocol_parameters : Mavryk_protocol_environment_000_PsUCFkqU.MBytes.t;}| Activate_testchain of {protocol : Mavryk_protocol_environment_000_PsUCFkqU.Protocol_hash.t;delay : Mavryk_protocol_environment_000_PsUCFkqU.Int64.t;}val mk_case :
string ->
'a Mavryk_protocol_environment_000_PsUCFkqU.Data_encoding.encoding ->
'b Mavryk_protocol_environment_000_PsUCFkqU.Data_encoding.encodingval encoding :
t Mavryk_protocol_environment_000_PsUCFkqU.Data_encoding.encoding