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