Transient.EVars
data EVar a
newEVar
cleanEVar
readEVar
writeEVar
lastWriteEVar
type FinishReason
data Finish
initFinish
onFinish
finish
unFinish
killOnFinish
checkFinalize