1 implementation module test
6 :: Test = E.s: T (R s) & iTask s
12 transf :: Test -> Test
13 transf (T rec=:{state, transform})
14 # state = transform state
15 = T {R | rec & state = state}
18 test = T {R | state = True, transform = not}
22 = let (T {R|state}) = transf test in gEq{|*|} state state