package logtk
-
logtk
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package logtk
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Debug section
val full_name : t -> stringFull path to the section
val set_debug : t -> int -> unitDebug level for section (and its descendants)
val clear_debug : t -> unitClear debug level (will be same as parent's)
val get_debug : t -> int optionSpecific level of this section, if any
val cur_level : t -> intCurrent debug level, with parent inheritance
val iter : (string * t) Sequence.tall registered sections
val root : tDefault section, with no parent
val logtk : tDefault section, with no parent
Section for all Logtk-related things
make ?parent ?inheriting name makes a new section with the given name. It has a parent (default root), used to give it a name. It can also have a list of sections it inherits from. Unless specificed explicitely otherwise (using set_debug, the level of the section will be the max level of its parent and its inherited sections.