let set_usedinfo name einfo = 
  Hashtbl.add used_enuminfo name einfo