Function spec_chained_eq 

pub fn spec_chained_eq<T>(_left: SpecChain, _right: T) -> SpecChain
where
    T: Chainable,