pub fn add_struct_offset(self, mid: &ModuleId, sid: StructId, types: Vec<Type>) -> AccessPath {
        match self {
            Self::Footprint(mut ap) => {
                // TODO: assert type address?
                ap.add_offset(Offset::global(mid, sid, types));
                ap
            }
            Self::Constant(a) => AccessPath::new_address_constant(a, mid, sid, types),
        }
    }
/// Convert this address-typed abstract value A into an access path A/mid::sid::types
Convert this address-typed abstract value A into an access path A/mid::sid::types
Convert this address - typed abstract value A into an access path A / mid :: sid :: types
pub fn add_struct_offset(self, mid: &ModuleId, sid: StructId, types: Vec<Type>) -> AccessPath {
        match self {
            Self::Footprint(mut ap) => {
                // TODO: assert type address?
                ap.add_offset(Offset::global(mid, sid, types));
                ap
            }
            Self::Constant(a) => AccessPath::new_address_constant(a, mid, sid, types),
        }
    }
pub fn add_struct_offset ( self , mid : & ModuleId , sid : StructId , types : Vec < Type > ) -> AccessPath { match self { Self :: Footprint ( mut ap ) => { // TODO: assert type address? ap . add_offset ( Offset :: global ( mid , sid , types ) ) ; ap } Self :: Constant ( a ) => AccessPath :: new_address_constant ( a , mid , sid , types ) , } }
Convert this address-typed abstract value A into an access path A/mid::sid::types
Convert this address - typed abstract value A into an access path A / mid :: sid :: types
self
mid
&ModuleId
sid
StructId
types
Vec<Type>