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