Какая польза от Clflags.parse_arguments?

Question

Я знаю, что модуль Clflags используется в исходном коде компилятора. Но использование функции этого модуля даже не имеет небольшого объяснения в документе:

http://caml.inria.fr/pub/docs/manual-ocaml/libref/Clflags.html

В /driver/main.ml в исходном коде компилятора:

File: d:\src\ocaml-4.07.0\driver\main.ml
138:     Clflags.parse_arguments anonymous usage;

использует функцию parse_arguments, и я знаю, что она может вызвать /driver/compenv.ml:

File: d:\src\ocaml-4.07.0\driver\compenv.ml
624: let anonymous filename = defer (action_of_file filename)

и это добавит новый элемент в список deferred_actions,

но я не знаю деталей этой функции: parse_arguments, а исходный код clflags отсутствует в исходном коде компилятора.

Так как узнать, что на самом деле делают Clflags.parse_arguments?

Спасибо

Answer 1

Я вижу источники для Clflags:

$ find . -name 'clflags.*'
./utils/clflags.mli
./utils/clflags.ml

(Может быть, вы набрали cflags, когда хотели набрать clflags. Это то, что я только что сделал в первый раз.)