Type Definition xed_sys::xed_nonterminal_enum_t

type xed_nonterminal_enum_t = u32;