conditionally_complete_linear_order source