The language predeclares the two types:
TEXT <: REFANY MUTEX <: ROOTwhich represent text strings and mutual exclusion semaphores, respectively. These are opaque types. Their properties are specified in the required interfaces Text and Thread.
m3-request@src.dec.com
Last modified on Tue Oct 3 17:19:03 PDT 1995 by heydon modified on Mon Apr 18 14:01:18 PDT 1994 by kalsow