pub(crate) fn storage_mapping_key_eq(
cx: &mut SymCx,
read: &StorageMappingKey,
write: &StorageMappingKey,
) -> SymBoolExprpub(crate) fn storage_mapping_key_eq(
cx: &mut SymCx,
read: &StorageMappingKey,
write: &StorageMappingKey,
) -> SymBoolExpr