GENERIC MODULE CompositeUnit(); IMPORT PhysicalUnit AS U; PROCEDURE Equal (READONLY k1, k2: T; ): BOOLEAN = BEGIN RETURN U.Equal(k1.uu.head.unit, k2.uu.head.unit) AND k1.exp = k2.exp; END Equal; BEGIN END CompositeUnit.