Is this a correct implementation of mutexts?

Printable View