Function vstd::prelude::spec_chained_eq

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