Orderings

type Orderings = (

  require_order,

Don't touch the ordering of the command-line options.

  permute,

Change command-line options.

  return_in_order

Return options in the correct order.

);