mutex?

Shuji Narazaki (narazaki@dai.comp.kyutech.ac.jp)
12 Feb 1998 13:56:04 +0900

Is there mutex? (type-predicate for mutex) ?

Thanks in advance.