let get_field_type ~env t1 ident = match t1.ct_ty with Tstruct id -> let d = get_struct_desc ~env id in get_field_type_from_desc ident d.str_fields | _ -> raise (Type_Error_local "not a struct")