The class Synchronize a, with its main and only class
function
describes a monitor, like the synonymous method in the
programming language JAVA [1]. All GUI
elements are instances of this class. It allows convenient handling of
concurrency-- if two IO actions must not interleave, you synchronize
them on any one GUI element, typically the one generating the event
which the function calling the two IO actions is bound to.