let rec get_nvalues_enum ename env = 
  match env with
      (TyEnumDef (s,lst))::rest when (s = ename) -> List.length lst
    | _::rest -> get_nvalues_enum ename rest
    | [] -> raise Not_found