Imandra_thread_util.Timer
Keep track of timers
module type S = sig ... end
val create : unit -> (module S)