Module Cduce_lib.Print_auto

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