Changes between Version 125 and Version 126 of LightweightConcurrency


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

--

Legend:

Unmodified
Added
Removed
Modified
  • LightweightConcurrency

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