1 2 3 4 5 6 7
structure Globals :> GLOBALS = struct val resetTime = ref (Time.zeroTime) fun setResetTime () = resetTime := Time.now () fun getResetTime () = !resetTime end