Function vstd::prelude::spec_chained_lt

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