Skip to content

Typos in 6.2.13.2 example 7

General Information

Clauses: 6.2.13.2

Description

The example contains three typos:

  1. List subtyping of msp types -> List subtyping of map types
  2. type MyRecordOfSub1 MyMapSub2 -> type MyMapSub1 MyMapSub2
  3. MyRecordOfSub2 -> MyMapSub2