The alt-ergo-common package is used for parsing the command line with cmdliner See
cmdliner
Alt_ergo_common.Parse_command