-- BBZonesImpl.mesa
-- Russ Atkinson, June 9, 1982 11:58 pm
DIRECTORY
BBZones USING [],
SafeStorage USING [NewZone];
BBZonesImpl: CEDAR PROGRAM
IMPORTS SafeStorage EXPORTS BBZones = PUBLIC BEGIN
pz: ZONE ← SafeStorage.NewZone[prefixed];
qz: ZONE ← SafeStorage.NewZone[quantized];
GetPrefixedZone: PROC RETURNS [ZONE] = {RETURN [pz]};
GetQuantizedZone: PROC RETURNS [ZONE] = {RETURN [qz]};
END.