let mk_field_type field = 
  let t = mk_ctype field.ftype in
  let is_struct = field.fcomp.cstruct in
  if is_struct then struct_field_type t else union_field_type t