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