Modula-3 is strongly typed and only allows implicit … in general, T1 is a subtype of T2 … intended to be represented in the same way. … be implemented by copying. … [e.g.,] CARDINAL is a subtype of INTEGER, but …
Google-1
Google-2
Copyright clearance needed for quotation.