MODULE Main; TYPE Bit = BITS 1 FOR BOOLEAN; Aconit = BITS 32 FOR RECORD gres, granit: Bit END; (* CONST Twang = Aconit{gres := FALSE, granit := TRUE}; *) BEGIN END Main.