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.