Commit 75a875a0 authored by Martin Wierich's avatar Martin Wierich

added comment

parent 44114951
......@@ -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