Macro claim::debug_assert_ge

macro_rules! debug_assert_ge {
    ($($arg:tt)*) => { ... };
}

Asserts that first expression is greater or equal than the second in runtime.