Simulation.Aivika.Trans.Ref
data Ref m a
refChanged
refChanged_
newRef
newRef0
readRef
writeRef
modifyRef