if ( compare( a , b ) <= 0 ) {

            yield a ;

            _a = A.next( ) ;