print_auto.mli 60 Bytes
Newer Older
1
val print_state: Format.formatter -> Auto_pat.state -> unit