eval :: (Main (Eval t p)) -> [String] | toString t
:: State =
{ tasks :: [(Int, State->State)]
eval :: (Main (Eval t p)) -> [String] | toString t
:: State =
{ tasks :: [(Int, State->State)]
//:: TaskSim :== (Int, State->State)
:: Eval t p = E ((ReadWrite t) State -> (t, State))
toS2S :: (Eval t p) -> (State->State)
//:: TaskSim :== (Int, State->State)
:: Eval t p = E ((ReadWrite t) State -> (t, State))
toS2S :: (Eval t p) -> (State->State)