Function vstd::prelude::spec_chained_ge

pub fn spec_chained_ge<IntegerType>(
    _left: SpecChain,
    _right: IntegerType
) -> SpecChain
where
    IntegerType: Integer,