let tau_of_object = function | C_int _ -> Integer | C_float _ -> Real | C_pointer _ -> Pointer tau_of_loc | C_comp c -> Record c | C_array a -> Array a