Simulation.Aivika.Gate
data Gate
newGate
newGateOpened
newGateClosed
openGate
closeGate
invertGate
gateOpened
gateClosed
awaitGateOpened
awaitGateClosed
gateChanged_