let set_usedinfo name einfo =
  Hashtbl.add used_enuminfo name einfo