next up previous
Next: 2.3 Statements Up: 2.2 Types Previous: 2.2.10 Subtyping rules

2.2.11 Predeclared opaque types

The language predeclares the two types:

    TEXT  <: REFANY
    MUTEX <: ROOT
which represent text strings and mutual exclusion semaphores, respectively. These are opaque types. Their properties are specified in the required interfaces Text and Thread.



m3-support@elego.de