• CTypes : awali::dyn::context
• direction_t : awali
• exp_to_aut_algo_t : awali
• ExpKind : awali::dyn
• history_kind_t : awali
• identities : awali::sttc::rat
• io_format_t : awali
• layout_t : awali
• minim_algo_t : awali
• node_kind_t : awali::json
• quotient_algo_t : awali
• star_status_t : awali
• state_elim_order_t : awali
• type_t : awali::sttc::rat
• visit_t : awali::json