1signature MB_Monitor =
2sig
3
4  val new : {info : string -> unit,
5             warn : string -> unit,
6             genLogFile : {tag:string} -> string,
7             keep_going : bool,
8             time_limit : Time.time option} ->
9            ProcessMultiplexor.monitor
10
11end
12