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")