• state : ui_out_table
• state_type : assign_1::value_type , assign_2::value_type , assign_3::value_type , assign_4::value_type , selftests::optional::assign_1::value_type , selftests::optional::assign_2::value_type , selftests::optional::assign_3::value_type , selftests::optional::assign_4::value_type
• terminal_state : target_terminal
• unit_kind : debug_names