- ptr' = ptr - shift + 1
- mem'' = replace mem ptr (Valid inp)
- mem' | shift == 0 = mem''
- | shift == 1 = (tail mem'') <+ NotValid
- | otherwise = ((tail (tail mem'')
- <+ NotValid) <+ NotValid)
+ {-"{\color<2>[rgb]{1,0,0}"-}ptr' = ptr - shift + 1{-"}"-}
+ {-"{\color<2>[rgb]{1,0,0}"-}mem'' = replace mem ptr (Valid inp){-"}"-}
+ {-"{\color<2>[rgb]{1,0,0}"-}mem' | shift == 0 = mem''{-"}"-}
+ {-"{\color<2>[rgb]{1,0,0}"-} | shift == 1 = (tail mem'') <+ NotValid{-"}"-}
+ {-"{\color<2>[rgb]{1,0,0}"-} | otherwise = ((tail (tail mem''){-"}"-}
+ {-"{\color<2>[rgb]{1,0,0}"-} <+ NotValid) <+ NotValid){-"}"-}