Test.DejaFu.Common
data ThreadId
data CRefId
data MVarId
data TVarId
initialThread
data IdSource
nextCRId
nextMVId
nextTVId
nextTId
initialIdSource
data ThreadAction
isBlock
tvarsOf
data Lookahead
rewind
willRelease
data ActionType
isBarrier
isCommit
synchronises
crefOf
mvarOf
simplifyAction
simplifyLookahead
type TTrace
data TAction
type Trace
data Decision
showTrace
preEmpCount
data Failure
showFail
data MemType