15.4.722  src/lib/core/init/order.pkg

## order.pkg

# Compiled by:
#     src/lib/core/init/init.cmi

package order {

    Order =  LESS | EQUAL | GREATER;
};