Stake (mavryk-protocol-001-PtAtLas.Mavryk_raw_protocol_001

module Staking_balance : 
  Storage_sigs.Indexed_data_snapshotable_storage
    with type key =
           Mavryk_protocol_environment_001_PtAtLas.Signature.Public_key_hash.t
     and type value = Full_staking_balance_repr.t
     and type snapshot = int
     and type t := Raw_context.t

The map of all the stake of all delegates, including those with less than Constants_parametric_repr.t.minimal_stake. It might be large.

module Active_delegates_with_minimal_stake : 
  Storage_sigs.Indexed_data_snapshotable_storage
    with type key =
           Mavryk_protocol_environment_001_PtAtLas.Signature.Public_key_hash.t
     and type value = unit
     and type snapshot = int
     and type t := Raw_context.t

This is a set, encoded in a map with value unit. This should be fairly small compared to staking balance

module Last_snapshot : 
  Storage_sigs.Single_data_storage
    with type value = int
     and type t := Raw_context.t

Counter of stake storage snapshots taken since last cycle

module Selected_distribution_for_cycle : 
  Storage_sigs.Indexed_data_storage
    with type key = Cycle_repr.t
     and type value =
           (Mavryk_protocol_environment_001_PtAtLas.Signature.Public_key_hash.t
            * Stake_repr.t)
             list
     and type t := Raw_context.t

List of active stake

module Total_active_stake : 
  Storage_sigs.Indexed_data_storage
    with type key = Cycle_repr.t
     and type value = Stake_repr.t
     and type t := Raw_context.t

Sum of the active stakes of all the delegates with Constants_parametric_repr.t.minimal_stake