(* *)
(* TAToo *)
(* *)
-(* Lucca Hirschi, ? *)
-(* ? *)
+(* Lucca Hirschi, LRI UMR8623 *)
+(* Université Paris-Sud & CNRS *)
(* *)
(* Copyright 2010-2012 Université Paris-Sud and Centre National de la *)
(* Recherche Scientifique. All rights reserved. This file is *)
(** Give the list of top states of an ASTA *)
val print : Format.formatter -> t -> unit
-(** Describe the automaton as text *)
+(** Pretty printer *)
val to_file : out_channel -> t -> unit
(** Outputs the description of the automaton on the given out_channel *)