Use Create(P) to create journaling module with priority ordering P.
module P : Cf_relations.Orderclass type 'level prioritizer = object ... endThe class type of prioritizer classes. Defines methods for converting priority levels into 1) their corresponding code, and 2) their corresponding message tag.
class 'level event : 'level prioritizer -> 'level -> string -> object ... endThe minimal class of diagnostic events. Use new event p v m to construct an event object with the prioritizer p, the priority level v, and the message m.
class type 'event archiver = object ... endThe base class for event archivers. Use inherit archiver to derive a subclass that defines the emit method to archive a diagnostic event into a journaling system.
class virtual 'archiver agent : 'level prioritizer -> 'level -> 'archiver list -> object ... endThe base class for journaling agents. Use inherit agent p v s to derive a subclass that defines the private event_ method to construct an event object with a priority level and a message text using the prioritizer p. Sets the initial priority code minimum to v, and the initial list of archivers to s.