100644 blob 37a28db1d650a7c9e9206bbfb991d257c9a2f410	common_comparison_category.h
100644 blob 3edddf1a1c94a3a221c0a790febf1ccc5647e8a8	compare_three_way.h
100644 blob 14908c6bbc1bb080fb5b32e648542d0c3b048f1f	compare_three_way_result.h
100644 blob 906cb0709e77703709e4c5b4a30d19f16f40f909	is_eq.h
100644 blob d4087bc85ba18ea2ba486eb2de73d1fc92531307	ordering.h
100644 blob 3d8e738816dd9af9064c0c5be313e894c046b538	synth_three_way.h
100644 blob c4794949007ba00ba9c1bdd8d069e93696c25187	three_way_comparable.h