308     template <class X1, class Y1, class X2, class Y2>
309     void sanity_check(X1 x1, Y1 y1, X2 x2, Y2 y2)  in sanity_check()
315     template <class X1, class Y1, class X2, class Y2>
316     void test_less_than_comparable_aux(X1 x1, Y1 y1, X2 x2, Y2 y2)  in test_less_than_comparable_aux()
324     template <class X1, class Y1, class X2, class Y2>
325     void test_less_than_comparable(X1 x1, Y1 y1, X2 x2, Y2 y2)  in test_less_than_comparable()
332     template <class X1, class Y1, class X2, class Y2>
333     void test_equality_comparable_aux(X1 x1, Y1 y1, X2 x2, Y2 y2)  in test_equality_comparable_aux()
339     template <class X1, class Y1, class X2, class Y2>
340     void test_equality_comparable(X1 x1, Y1 y1, X2 x2, Y2 y2)  in test_equality_comparable()
347     template <class X1, class Y1, class X2, class Y2>
348     void test_multipliable_aux(X1 x1, Y1 y1, X2 x2, Y2 y2)  in test_multipliable_aux()
353     template <class X1, class Y1, class X2, class Y2>
354     void test_multipliable(X1 x1, Y1 y1, X2 x2, Y2 y2)  in test_multipliable()
370     template <class X1, class Y1, class X2, class Y2>
371     void test_addable_aux(X1 x1, Y1 y1, X2 x2, Y2 y2)  in test_addable_aux()
376     template <class X1, class Y1, class X2, class Y2>
377     void test_addable(X1 x1, Y1 y1, X2 x2, Y2 y2)  in test_addable()
384     template <class X1, class Y1, class X2, class Y2>
385     void test_subtractable(X1 x1, Y1 y1, X2 x2, Y2 y2)  in test_subtractable()
391     template <class X1, class Y1, class X2, class Y2>
392     void test_subtractable_left(X1 x1, Y1 y1, X2 x2, Y2 y2)  in test_subtractable_left()
398     template <class X1, class Y1, class X2, class Y2>
399     void test_dividable(X1 x1, Y1 y1, X2 x2, Y2 y2)  in test_dividable()
406     template <class X1, class Y1, class X2, class Y2>
407     void test_dividable_left(X1 x1, Y1 y1, X2 x2, Y2 y2)  in test_dividable_left()
414     template <class X1, class Y1, class X2, class Y2>
415     void test_modable(X1 x1, Y1 y1, X2 x2, Y2 y2)  in test_modable()
422     template <class X1, class Y1, class X2, class Y2>
423     void test_modable_left(X1 x1, Y1 y1, X2 x2, Y2 y2)  in test_modable_left()
430     template <class X1, class Y1, class X2, class Y2>
431     void test_xorable_aux(X1 x1, Y1 y1, X2 x2, Y2 y2)  in test_xorable_aux()
436     template <class X1, class Y1, class X2, class Y2>
437     void test_xorable(X1 x1, Y1 y1, X2 x2, Y2 y2)  in test_xorable()
444     template <class X1, class Y1, class X2, class Y2>
445     void test_andable_aux(X1 x1, Y1 y1, X2 x2, Y2 y2)  in test_andable_aux()
450     template <class X1, class Y1, class X2, class Y2>
451     void test_andable(X1 x1, Y1 y1, X2 x2, Y2 y2)  in test_andable()
458     template <class X1, class Y1, class X2, class Y2>
459     void test_orable_aux(X1 x1, Y1 y1, X2 x2, Y2 y2)  in test_orable_aux()
464     template <class X1, class Y1, class X2, class Y2>
465     void test_orable(X1 x1, Y1 y1, X2 x2, Y2 y2)  in test_orable()
472     template <class X1, class Y1, class X2, class Y2>
473     void test_left_shiftable(X1 x1, Y1 y1, X2 x2, Y2 y2)  in test_left_shiftable()
479     template <class X1, class Y1, class X2, class Y2>
480     void test_right_shiftable(X1 x1, Y1 y1, X2 x2, Y2 y2)  in test_right_shiftable()
502     template <class X1, class Y1, class X2, class Y2>
503     void test_all(X1 x1, Y1 y1, X2 x2, Y2 y2)  in test_all()
521     template <class X1, class Y1, class X2, class Y2>
522     void test_left(X1 x1, Y1 y1, X2 x2, Y2 y2)  in test_left()