-intBlink iInterval = declarePin D13 PMOutput \ledPin-> /*\label{lst:intro:declarePin}*/
- lowerSds \mInterval=iInterval/*\label{lst:intro:liftsds}*/
- In fun \blink=(\st-> /*\label{lst:intro:blink_fro}*/
+/*
+intBlink :: (Shared sds Int) -> Main (MTask v Int) | mtask v & ...
+*/
+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}*/