1 (***********************************************************************)
4 (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *)
6 (* Copyright 2007 Institut National de Recherche en Informatique et *)
7 (* en Automatique. All rights reserved. This file is distributed *)
8 (* under the terms of the Q Public License version 1.0. *)
10 (***********************************************************************)
13 (* Original author: Nicolas Pouillard *)
16 (** Module for modulating the logging output with the logging level. *)
17 include Signatures.LOG
19 (** Turn it to true to have a classic display of commands. *)
20 val classic_display
: bool ref
22 (** See {Display.event}. *)
23 val event
: ?pretend
:bool -> string -> string -> Tags.t
-> unit
27 (** Initialize the Log module given a log file name. *)
28 val init
: string option -> unit
30 val finish
: ?how
:[`Success
|`Error
|`Quiet
] -> unit -> unit
31 val display
: (out_channel
-> unit) -> unit
32 val update
: unit -> unit
33 val mode
: string -> bool