Revision fcbbc9378d67cd227c0f48298e700812469eef62 (click the page title to view the current version)

opposite traffic lights sketch

A reference clafer is a clafer whose value is another clafer.

We can define the opposite traffic light as follows

abstract TrafficLight
opposite -> TrafficLight
xor signal
stop
[ opposite.signal.stop ]
proceed
[ opposite.signal.proceed ]
EastWest : TrafficLight
[ opposite = WestEast ]
WestEast : TrafficLight
[ opposite = EastWest ]

Back to the conclusion of Part III