Module `Smyth.Debug`

val debug : (unit -> unit) -> unit
val println : string -> unit
val print_sep : unit -> unit
val pause : unit -> unit
val print_int : int -> unit
val print_float : float -> unit
val print_nondet_len : 'a Nondet.t -> unit
val print_len : 'a list -> unit