Io
type fmts = {
mutable out : Stdlib.Format.formatter;
mutable err : Stdlib.Format.formatter;
mutable log : Stdlib.Format.formatter;
mutable tex : Stdlib.Format.formatter;
mutable gml : Stdlib.Format.formatter;
}
val fmts : fmts
val out : ('a, Stdlib.Format.formatter, unit) Stdlib.format -> 'a
val err : ('a, Stdlib.Format.formatter, unit) Stdlib.format -> 'a
val log : ('a, Stdlib.Format.formatter, unit) Stdlib.format -> 'a
val tex : ('a, Stdlib.Format.formatter, unit) Stdlib.format -> 'a
val nul : ('a, Stdlib.Format.formatter, unit) Stdlib.format -> 'a
val path : string list Stdlib.ref
val read_file : (string -> Earley_core.Input.buffer) Stdlib.ref
val file : string -> Earley_core.Input.buffer
val fmt_of_file : string -> Stdlib.Format.formatter
val close_files : unit -> unit
val set_tex_file : string -> unit
val set_gml_file : string -> unit
val debug : string Stdlib.ref
val debug_sct : char
val debug_uni : char
val debug_sub : char
val debug_typ : char
val debug_mat : char
val debug_ord : char
val debug_ind : char
val debug_all : string
val log_sct : ('a, Stdlib.Format.formatter, unit) Stdlib.format -> 'a
val log_uni : ('a, Stdlib.Format.formatter, unit) Stdlib.format -> 'a
val log_sub : ('a, Stdlib.Format.formatter, unit) Stdlib.format -> 'a
val log_typ : ('a, Stdlib.Format.formatter, unit) Stdlib.format -> 'a
val log_mat : ('a, Stdlib.Format.formatter, unit) Stdlib.format -> 'a
val log_ord : ('a, Stdlib.Format.formatter, unit) Stdlib.format -> 'a
val log_ind : ('a, Stdlib.Format.formatter, unit) Stdlib.format -> 'a
val set_debug : string -> unit