Trait Higher

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

Expand description

Indicate that the implementor is higher that the level O

Implementors§

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