Enum Greater 

pub enum Greater<const A: i128, const B: i128> {}

Matches when LHS is greater than RHS.

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

struct GreaterTest<const A: i128, const B: i128>
where
	Greater<A, B>: Passed;

let works = GreaterTest::<3, 2>; // Success!
let works = GreaterTest::<11, 5>; // Success!

let doesnt_work = GreaterTest::<5, 10>; // Compile error!
let doesnt_work = GreaterTest::<6, 6>; // Compile error!

Implementations

impl<const A: i128, const B: i128> Greater<A, B>

pub const fn simplify() -> bool

Trait Implementations

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