Module Reasoning_proxy.Debug

val set_debug : scope:scope option -> color:bool -> string list -> int -> unit