GENERIC INTERFACECompositeUnit (UUList);
Component of a unit that is composed of usual units.
IMPORT PhysicalUnit AS U;
CONST Brand = "CompositeUnit";
TYPE
T = RECORD
uu : UUList.T; (* only the single entry is meant *)
exp: U.ExpType;
END;
PROCEDURE Equal (READONLY k1, k2: T; ): BOOLEAN;
END CompositeUnit.