(* === DECLARATION === *) TYPE struct_lights: STRUCT l_1 : BOOL; l_2 : BOOL; l_3 : BOOL; l_4 : BOOL; l_5 : BOOL; l_6 : BOOL; END_STRUCT END_TYPE (* === IMPLEMENTATION === *)