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@anu.edu.au

W: comp.anu.edu.au/people/michael-norrish

TEQSA Provider ID: PRV12002 (Australian University) | CRICOS Provider Code: 00120C