let
typeOf_array_elem =
function
|
C_array
arr
->
object_of arr.arr_element
|
_
->
assert
false