Storage.Pending_migrationmodule Balance_updates :
Storage_sigs.Single_data_storage
with type value = Receipt_repr.balance_updates
and type t := Raw_context.tmodule Operation_results :
Storage_sigs.Single_data_storage
with type value = Migration_repr.origination_result list
and type t := Raw_context.t