proof_of_mutex_lock.h File Reference

#include "fatal.h"
#include <mutex>

Include dependency graph for proof_of_mutex_lock.h:

Go to the source code of this file.

Classes
class	mir::ProofOfMutexLock
	A method can take an instance of this class by reference to require callers to hold a mutex lock, without requiring a specific type of lock. More...

Namespaces
	mir