<> <> <> VisibleMouseClicks: CEDAR DEFINITIONS = { Visibility: TYPE = {on, off}; On: PROCEDURE [] RETURNS [was: Visibility]; <> Off: PROCEDURE [] RETURNS [was: Visibility]; <> }.