Test.DejaFu.Deterministic.Internal.Threading
type Threads n r s
data Thread n r s
mkthread
data BlockedOn
(~=)
isLocked
data Handler n r s
propagate
interruptible
catching
uncatching
except
mask
goto
launch
launch'
kill
block
wake
knows
forgets
fullknown