(* Implementation of signature WARMUP (see warmup.sig). *)
structure Warmup : WARMUP =
struct


end