let typeOf_array_elem = function | C_array arr -> object_of arr.arr_element | t -> WpLog.fatal "[typeOf_array_elem] of non array type %a" Ctypes.pp_object t