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


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

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