let rec is_enum_value s1 s2 env =
  match env with 
      (TyEnumDef (s,lst))::rest when (s = s1) -> List.mem s2 lst
    | _::rest -> is_enum_value s1 s2 rest
    | [] -> raise Not_found