module Create:
A functor that produces a module of type T
that defines extensible
diagnostic event journaling with messages prioritized by codes in the total
order defined by the module P
.
module Priority: Cf_ordered.Total_T
The module used to define the total order of priority levels.
class virtual ['a]
prioritizer :
object
.. end
The base class for prioritizers.
class ['a]
event : 'a #prioritizer -> 'a -> string ->
object
.. end
The minimal class of diagnostic events.
class virtual ['a #event]
archiver :
object
.. end
The base class for event archivers.
class virtual ['a #event #archiver]
agent : 'a #prioritizer -> 'a -> ('a #event #archiver as 'b) list ->
object
.. end
The base class for journaling agents.