next up previous contents index
Next: Assignment Compatibility (9.1) Up: Type IdentityCompatibility, and Previous: Identity

Compatibility (6.3)

    A type T1 is said to be compatible to a type T2 iff one of the following conditions apply:



Andreas Borchert
Mon Jun 3 16:17:20 MET DST 1996