- "-lpo", Arg.Unit set_lpo, "Use lpo term ordering";
-
- "-kbo", Arg.Unit set_kbo, "Use (non-recursive) kbo term ordering (default)";
+ "-o", Arg.String set_ordering,
+ "Term ordering. Possible values are:\n" ^
+ "\tkbo: Knuth-Bendix ordering (default)\n" ^
+ "\tnr-kbo: Non-recursive variant of kbo\n" ^
+ "\tlpo: Lexicographic path ordering";