let data_field ka ga f = match ka with | Kset _ -> Wp_parameters.not_yet_implemented "field access over sets" | _ -> let obj = object_of f.ftype in Loc (M.field (loc_of_data obj ga) f)