Function vstd::prelude::spec_chained_gt

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