| (a,s,l) :: tl -> (s,l) :: (remove_states tl) in
remove_states (SetT.elements (SetT.filter filter asta.trans))
| (a,s,l) :: tl -> (s,l) :: (remove_states tl) in
remove_states (SetT.elements (SetT.filter filter asta.trans))
(Pretty.print_list ~sep:"@, " (Transition.print))
(SetT.elements (asta.trans))
(Pretty.print_list ~sep:"@, " (Transition.print))
(SetT.elements (asta.trans))