sig val set_debug : bool -> unit end