Lock ordering enforcement at compile time

This library contains types and traits to ensure, at compile time, that locks are acquired in the correct order.

Credits

Inspired by Fuchsia's lock-ordering and lock-sequence libraries.