import iTasks
import gdynamic, gCons, 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))]
instance sds Eval where
sds f = defEval f
con f = defEval f
-// pub _ = undef
+ pub _ = undef
defEval :: ((Eval t p)->In t (Main (Eval u q))) -> (Main (Eval u q)) | dyn t
defEval f =