Changes between Version 125 and Version 126 of LightweightConcurrency


Ignore:
Timestamp:
May 31, 2012 9:33:06 PM (3 years ago)
Author:
kc
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • LightweightConcurrency

    v125 v126  
    433433{{{
    434434data ResumeToken
     435
    435436newResumeToken     :: PTM ResumeToken
    436437isResumeTokenValid :: ResumeToken -> PTM Bool