Module float_sorted_arg_max

Functions

• float_arg_max_sorted_ascending
  Safety
• float_arg_max_sorted_descending
  Safety