Function vstd::prelude::spec_chained_le

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