Mutex constructor

Mutex()

Implementation

factory Mutex() {
  return MutexImpl();
}