-- pagination in Mist thenn as rforall p, q, r. ST
q -> ST r -> ST r thenn = 0 nextPage as n:Int ~> ST <{v:Int | v = n} >{v:Int | v = n+1} nextPage = 0 -- pos main :: ST <{v:Int | v = 0} >{v:Int | v = 2} main = thenn nextPage nextPage
r -> ST r thenn = 0 nextPage as n:Int ~> ST <{v:Int | v = n} >{v:Int | v = n+1} nextPage = 0 -- pos main :: ST <{v:Int | v = 0} >{v:Int | v = 2} main = thenn nextPage nextPage
r thenn = 0 nextPage as n:Int ~> ST <{v:Int | v = n} >{v:Int | v = n+1} nextPage = 0 -- pos main :: ST <{v:Int | v = 0} >{v:Int | v = 2} main = thenn nextPage nextPage