let
display_operations_spec_bycase () =
display_operations_spec__
false
true