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