<<>> <> <> <> <<>> <> <> <<>> DIRECTORY BreakWorldArchitecture; Druid: CEDAR DEFINITIONS ~ { Megalith: TYPE ~ REF MegalithRep ¬ nullMegalith; MegalithRep: TYPE; nullMegalith: Megalith ~ NIL; <> <<>> Set: PROCEDURE [ address: BreakWorldArchitecture.Address, monitored: BOOLEAN ¬ FALSE] RETURNS [Megalith]; <> <> <<>> Clear: PROCEDURE [megalith: Megalith] RETURNS []; <> <<>> IsActive: PROCEDURE [megalith: Megalith] RETURNS [BOOLEAN]; <> <<>> Read: PROCEDURE [megalith: Megalith] RETURNS [CARD]; <> <<>> Zero: PROCEDURE [megalith: Megalith] RETURNS [CARD]; <> <> <<>> }.