Commit 384b67d3 authored by Martin Wierich's avatar Martin Wierich

added comment

parent e1512e64
......@@ -21,7 +21,8 @@ instance < Tick
intPlusTick :: !Int !Tick -> Tick
tickDifference :: !Tick !Tick -> Int
// tickDifference arg1 arg2>0 iff arg1 is "later" than arg2
class TimeEnv env where
getBlinkInterval:: !*env -> (!Int, !*env)
getCurrentTime :: !*env -> (!Time, !*env)
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment