Enum Less 

pub enum Less<const A: usize, const B: usize> {}

Matches when LHS is less than RHS.

#![feature(generic_const_exprs)]
use checks::{ Passed, usize::* };

struct LessTest<const A: usize, const B: usize>
where
	Less<A, B>: Passed;

let works = LessTest::<1, 3>; // Success!
let works = LessTest::<5, 10>; // Success!

let doesnt_work = LessTest::<5, 3>; // Compile error!
let doesnt_work = LessTest::<7, 7>; // Compile error!

Implementations

impl<const A: usize, const B: usize> Less<A, B>

pub const fn simplify() -> bool

Trait Implementations

impl<const A: usize, const B: usize> Conclusion<{ $name::<$($param),*>::simplify() }> for Less<A, B>