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 lock level, as well as implementing LockBefore for all the levels from which X is reachable.