next up previous contents index
Next: Remarks Up: Type IdentityCompatibility, and Previous: Compatibility (6.3)

Assignment Compatibility (9.1)

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



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