Could Mutex be an eqtype in future? (I see it is currently implemented as a word ref….)
--
Michael Norrish (Associate Professor)
School of Computing, The Australian National University
Canberra ACT 2600, AUSTRALIA
michael.norrish(a)anu.edu.au
W: comp.anu.edu.au/people/michael-norrish
TEQSA Provider ID: PRV12002 (Australian University) | CRICOS Provider Code: 00120C
