pub fn add_struct_offset(self, mid: &ModuleId, sid: StructId, types: Vec<Type>) -> Self {
        let mut acc = Self::default();
        for v in self.into_iter() {
            acc.insert(Addr::Footprint(v.add_struct_offset(
                mid,
                sid,
                types.clone(),
            )));
        }
        acc
    }
/// Return a new abstract address by adding the offset `mid::sid<types>` to each element
/// of `self`
Return a new abstract address by adding the offset `mid::sid` to each element
of `self`
Return a new abstract address by adding the offset ` mid :: sid ` to each element of ` self `
pub fn add_struct_offset(self, mid: &ModuleId, sid: StructId, types: Vec<Type>) -> Self {
        let mut acc = Self::default();
        for v in self.into_iter() {
            acc.insert(Addr::Footprint(v.add_struct_offset(
                mid,
                sid,
                types.clone(),
            )));
        }
        acc
    }
pub fn add_struct_offset ( self , mid : & ModuleId , sid : StructId , types : Vec < Type > ) -> Self { let mut acc = Self :: default ( ) ; for v in self . into_iter ( ) { acc . insert ( Addr :: Footprint ( v . add_struct_offset ( mid , sid , types . clone ( ) , ) ) ) ; } acc }
Return a new abstract address by adding the offset `mid::sid<types>` to each element
of `self`
Return a new abstract address by adding the offset ` mid :: sid<types > ` to each element of ` self `
self
mid
&ModuleId
sid
StructId
types
Vec<Type>