module System.CPUTime
(Var "cpuTimePrecision",Value {args = 0, fixity = Def, priority = 9, letBound = True, traced = False})
(Var "getCPUTime",Value {args = 0, fixity = Def, priority = 9, letBound = True, traced = False})
