let
a_sizeof =
function
|
C_array
{ arr_flat=
Some
f }
->
F
.e_int64 f.arr_size
|
_
->
F
.e_int 1