Characteristic predicate DefaultMutexType :: DefaultMutexType
DefaultMutexType
(
)