let rec getfields_struct s1 env =
  match env with
      (TyStructDef (s,lst,_))::rest when (s = s1) -> lst
    | _::rest -> getfields_struct s1 rest
    | [] -> raise Not_found