new Mutex -- construct a mutex

• Usage:

  new Mutex

• Inputs:
  • a mutex
• Outputs:
  • a mutex,

i1 : m = new Mutex

o1 = m

o1 : Mutex