def sorter(options):
sort_table( if (options|has("ordering")) then options.ordering
else less_than_or_equal
end;
options.column or 0;
options.reverse or false );
# If jq > 1.4 is being used, we may also define:
def sorter: sorter({});