Trait ordered_locks::Higher

pub trait Higher<O: Level>: Level { }

Indicate that the implementor is higher that the level O

Implementors

impl<L1: Level, L2> Higher<L2> for L1where
    L2: Lower<L1> + Level,