let
print_state_label fmt st =
Format
.fprintf fmt
"@[<2>%s:@ %s@]"
(state_label st.nums) st.name