Mavryk_raw_protocol_alpha.Migration_reprtype origination_result = {balance_updates : Receipt_repr.balance_updates;originated_contracts : Contract_hash.t list;storage_size : Mavryk_protocol_environment_alpha.Z.t;paid_storage_size_diff : Mavryk_protocol_environment_alpha.Z.t;}Dupe of `Kind.origination successful_manager_operation_result` for use inside Alpha_context. Converted in Apply_results.
Doesn't consume gas and omits lazy_storage_diff field since it would require copying Script_ir_translator functions to work on Raw_context.
val origination_result_list_encoding :
origination_result list Mavryk_protocol_environment_alpha.Data_encoding.t