1use rf_core::export::Export; 2use std::collections::HashMap; 3 4/// This type alias represent the states of the device inside an aggregate computation. 5pub type States = HashMap<i32, Export>;