module Monitor : sig

    val start : string -> t
    val terminate : t -> unit

    val on_finish : t -> (int -> unit) -> unit

    ...
 end

val monitor : string -> (int -> 'a) -> 'a