Macro lock_ordering 

lock_ordering!() { /* proc-macro */ }

This macro takes a definition of the lock ordering graph in the form of lock_ordering!{ Unlocked -> A, A -> B, Unlocked -> C, }

and defines the edges as LockLevel.