Module Cduce_core.Print_auto

val print_state : Stdlib.Format.formatter -> Auto_pat.state -> unit