Module Make.Debug_levelSource

Sourcetype t = int
Sourceval set : t -> unit
Sourceval get : unit -> t
Sourceval is_set : unit -> bool
Sourceval is_default : unit -> bool