Function spec_chained_lt 

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