let
display_operations_spec_sorted_bycase () =
display_operations_spec__
true
true