+
+let print fmt asta =
+ let pp = Format.fprintf fmt in
+ pp "Recognizing states: ";
+ StateSet.print fmt asta.reco;
+ pp "\nSelecting states: ";
+ StateSet.print fmt asta.selec;
+ pp "\nBottom states: ";
+ StateSet.print fmt asta.bottom;
+ pp "\nTop states: ";
+ StateSet.print fmt asta.top;
+ pp "\nTransitions: \n";
+ Format.fprintf fmt "{@[<hov n> %a @]}" (* todo: check boxes *)
+ (Pretty.print_list ~sep:"@, " (Transition.print))
+ (SetT.elements (asta.trans))
+