Module Devkit_core.LoggerSource
Sourcetype level = [ | `Debug| `Info| `Warn| `Error
] Sourcetype facil = {name : string;mutable show : int;
} Sourceval int_level : [< `Debug | `Error | `Info | `Warn ] -> int Sourceval set_filter : facil -> [< `Debug | `Error | `Info | `Warn ] -> unit Sourceval get_level : facil -> [> `Debug | `Error | `Info | `Warn ] Sourceval allowed : facil -> [< `Debug | `Error | `Info | `Warn ] -> bool Sourceval string_level : [< `Debug | `Error | `Info | `Warn ] -> string Sourceval level : string -> [> `Debug | `Error | `Info | `Warn ]