implementation module mTaskSimulation
+import Generics.gdynamic
+import Generics.gCons
+
import iTasks
-import gdynamic, gCons, GenEq, StdMisc, StdArray
+import GenEq, StdMisc, StdArray
import mTask
-//derive class iTask Display
+derive class iTask Display
eval :: (Main (Eval t p)) -> [String] | toString t
eval {main=(E f)} = [toString (fst (f Rd zero))]