(* Timers *)
(* Author: Frank Pfenning *)

structure Timers =
  Timers (structure Timing' = Timing);

(* alternative not using actual timers *)
(*
structure Timers =
  Timers (structure Timing' = Counting);
*)