let rec get_struct_data_type_list sname env =
  match env with 
      (TyStructDef (s,_,dtlist))::rest when (s = sname) -> dtlist
    | _::rest -> get_struct_data_type_list sname rest
    | [] -> raise Not_found