1
namespace Logger.Types
5 type Severity = DEBUG = 1 | INFO = 2 | WARNING = 3 | ERROR = 4 | FATAL = 5
7 type internal Message =
17 type internal Command =
19 | Shutdown of AsyncReplyChannel<unit>
20 | Flush of AsyncReplyChannel<unit>
21 | ClearLogFilesOlderThan of TimeSpan
22 | SetAvoidRepeatingIdenticalMessage of bool
24 exception NoLogDirectoryDefinedException