intBlink :: (Shared sds Int) -> Main (MTask v Int)
| mtask, lowerSds v & RWShared sds & TC sds () Int Int
-intBlink iInterval = declarePin D2 PMOutput \ledPin-> /*\label{lst:intro:declarePin}*/
+intBlink iInterval =
+ declarePin D2 PMOutput \ledPin-> /*\label{lst:intro:declarePin}*/
lowerSds \mInterval=iInterval/*\label{lst:intro:liftsds}*/
In fun \blink=(\st-> /*\label{lst:intro:blink_fro}*/
getSds mInterval