import mTask
+instance zero State
+
eval :: (Main (Eval t p)) -> [String] | toString t
:: State =
{ tasks :: [(Int, State->State)]
, millis:: Int
}
-state0 :: State
-
//:: TaskSim :== (Int, State->State)
:: Eval t p = E ((ReadWrite t) State -> (t, State))
toS2S :: (Eval t p) -> (State->State)