sig
  module Priority : sig type t = int val compare : t -> t -> int end
  class virtual ['a] prioritizer :
    object
      method virtual code : 'a -> Priority.t
      method virtual tag : 'a -> string
    end
  class ['a] event :
    'a #prioritizer ->
    'a ->
    string ->
    object
      method level : 'a
      method message : string
      method prioritizer : 'a prioritizer
    end
  class virtual ['a] archiver :
    object constraint 'a = 'b #event method virtual emit : 'a -> unit end
  class virtual ['a] agent :
    'b #prioritizer ->
    'b ->
    'a list ->
    object
      constraint 'a = ('b #event as 'c) #archiver
      val mutable archivers_ : 'a list
      val mutable limit_ : Priority.t
      method enabled : 'b -> bool
      method private virtual event : 'b -> string -> 'c
      method private put :
        'd 'e. 'b -> ('c -> 'e) -> ('d, unit, string, 'e) format4 -> 'd
      method setlimit : 'b -> unit
    end
  type invalid = [ `Invalid ]
  type fail = [ `Fail ]
  type error = [ `Error ]
  type warn = [ `Warn ]
  type notice = [ `Notice ]
  type info = [ `Info ]
  type debug = [ `Debug ]
  type basic =
      [ `Debug | `Error | `Fail | `Info | `Invalid | `Notice | `Warn ]
  type enable = [ `All | `None ]
  type level =
      [ `All
      | `Debug
      | `Error
      | `Fail
      | `Info
      | `Invalid
      | `None
      | `Notice
      | `Warn ]
end