„•¦¾E<+M&ê 55.5.0+dev0-2025-04-28 /#Arg‘ Á±$specA;@@¢ à $Unit ÀÁ@ÀªÀ³ $unit6@@õá@{@õá@}À³ 7@@õá@|@õá@~@@°À4../../stdlib/arg.mliP í ïÀP í@@±#ArgA@ à $Bool ÀÁ@ÀªÀ³ $bool8@@õá@@õá@À³ !9@@õá@€@õá@‚@@°ÀQ8:ÀQ8R@@±B@ à #Set À³¡ &Stdlib;#ref À³ :@@õá@ƒ@@õá@…@@°À3R…‡À4R…˜@@±2C@ à %Clear À³¡ &Stdlib=#ref À³ 5<@@õá@†@@õá@ˆ@@°ÀKSÅÇÀLSÅÚ@@±JD@ à &String ÀÁ@ÀªÀ³ &string>@@õá@‰@õá@‹À³ j?@@õá@Š@õá@Œ@@°ÀdTÀeT$@@±cE@ à *Set_string À³¡ &StdlibA#ref À³ @@@õá@@@õá@@@°À|UUWÀ}UUq@@±{F@ à #Int ÀÁ@ÀªÀ³ #intB@@õá@@õá@’À³ ›C@@õá@‘@õá@“@@°À•V¤¦À–V¤¼@@±”G@ à 'Set_int À³¡ &StdlibE#ref À³ D@@õá@”@@õá@–@@°ÀWñóÀ®Wñ@@±¬H@ à %Float ÀÁ@ÀªÀ³ %floatF@@õá@—@õá@™À³ ÌG@@õá@˜@õá@š@@°ÀÆX=?ÀÇX=Y@@±ÅI@ à )Set_float À³¡ &StdlibI#ref À³ H@@õá@›@@õá@@@°ÀÞY‹ÀßY‹¥@@±ÝJ@ à %Tuple À³ $listK À³¡ #ArgJ$spec@@õá@ž@@õá@ @@°À÷ZÙÛÀøZÙï@@±öK@ à &Symbol À³ M À³ L@@õá@¡@@õá@£ ÀÁ@ÀªÀ³ ¸N@@õá@¤@õá@¦À³ !O@@õá@¥@õá@§@@°À\TVÀ\T€@@±L@ à $Rest ÀÁ@ÀªÀ³ ÐP@@õá@¨@õá@ªÀ³ 9Q@@õá@©@õá@«@@°À3_À4_0@@±2M@ à (Rest_all ÀÁ@ÀªÀ³ YS À³ íR@@õá@¬@@õá@®@õá@°À³ WT@@õá@¯@õá@±@@°ÀQa«ÀRa«Ð@@±PN@ à &Expand! ÀÁ@ÀªÀ³ U@@õá@²@õá@¶À³ %arrayW À³ V@@õá@³@@õá@µ@õá@·@@°ÀpdhjÀqdhŽ@@±oO@@@A@@@@@°ÀtO á á@@@@±r@@A@ Á±#key"B;@@@AÀ³ %X@@õá@0@@@@°ÀƒnÄÄÀ„nÄÕ@@@@±‚P@A@ Á±#doc#C;@@AÀ³ 4Y@@õá@8@@@@°À’oÖÖÀ“oÖç@@@@±‘Q@A@ Á±)usage_msg$D;@@AÀ³ CZ@@õá@@@@@@°À¡pèèÀ¢pèÿ@@@@± R@A@ Á±(anon_fun%E;@@.AÀÁ@ÀªÀ³ V[@@õá@H@õá@JÀ³ ¿\@@õá@I@õá@K@@@@°À¹qÀºq @@@@±¸S@A@ ° %parse&ÐÀÁ@ÀªÀ³ Þ` À’ @À³¡ #Arg]#key@@õá@[ @À³¡ #Arg^$spec@@õá@\ @À³¡ #Arg_#doc@@õá@]@õá@^@@õá@`@õá@hÀÁ@ÀªÀ³¡ #Arga(anon_fun@@õá@a@õá@fÀÁ@ÀªÀ³¡ #Argb)usage_msg@@õá@b@õá@dÀ³ c@@õá@c@õá@e@õá@g@õá@i@°À s""À t.h@@±T@@ ° -parse_dynamic'ÐÀÁ@ÀªÀ³¡ &Stdlibh#ref À³ 6g À’ @À³¡ #Argd#key@@õá@j @À³¡ #Arge$spec@@õá@k @À³¡ #Argf#doc@@õá@l@õá@m@@õá@o@@õá@q@õá@yÀÁ@ÀªÀ³¡ #Argi(anon_fun@@õá@r@õá@wÀÁ@ÀªÀ³¡ #Argj)usage_msg@@õá@s@õá@uÀ³ hk@@õá@t@õá@v@õá@x@õá@z@°ÀbÀc‘Áÿ@@±aU@@ ° *parse_argv(ÐÀÁ‘'currentÀªÀ³£&optionL À³¡ &Stdlibm#ref À³ õl@@õá@{@@õá@}@@õá@“@õá@”ÀÁ@ÀªÀ³ &o À³ 6n@@õá@~@@õá@€@õá@ÀÁ@ÀªÀ³ ±s À’ @À³¡ #Argp#key@@õá@ @À³¡ #Argq$spec@@õá@‚ @À³¡ #Argr#doc@@õá@ƒ@õá@„@@õá@†@õá@ŽÀÁ@ÀªÀ³¡ #Argt(anon_fun@@õá@‡@õá@ŒÀÁ@ÀªÀ³¡ #Argu)usage_msg@@õá@ˆ@õá@ŠÀ³ âv@@õá@‰@õá@‹@õá@@õá@@õá@‘@õá@•@°ÀÜšHHÀÝ›~¸@@±ÛV@@ ° 2parse_argv_dynamic)ÐÀÁ‘'currentÀªÀ³z À³¡ &Stdlibx#ref À³ lw@@õá@–@@õá@˜@@õá@°@õá@±ÀÁ@ÀªÀ³ z À³ y@@õá@™@@õá@›@õá@ÀÁ@ÀªÀ³¡ &Stdlib#ref À³ 0~ À’ @À³¡ #Arg{#key@@õá@œ @À³¡ #Arg|$spec@@õá@ @À³¡ #Arg}#doc@@õá@ž@õá@Ÿ@@õá@¡@@õá@£@õá@«ÀÁ@ÀªÀ³¡ #Arg€(anon_fun@@õá@¤@õá@©ÀÁ@ÀªÀ³ ö@@õá@¥@õá@§À³ _‚@@õá@¦@õá@¨@õá@ª@õá@¬@õá@®@õá@²@°ÀY§ååÀZ¨ " ]@@±XW@@ ° =parse_and_expand_argv_dynamic*ÐÀÁ@ÀªÀ³¡ &Stdlib„#ref À³ äƒ@@õá@³@@õá@µ@õá@ÎÀÁ@ÀªÀ³¡ &Stdlib‡#ref À³ † À³ ,…@@õá@¶@@õá@¸@@õá@º@õá@ÌÀÁ@ÀªÀ³¡ &StdlibŒ#ref À³ °‹ À’ @À³¡ #Argˆ#key@@õá@» @À³¡ #Arg‰$spec@@õá@¼ @À³¡ #ArgŠ#doc@@õá@½@õá@¾@@õá@À@@õá@Â@õá@ÊÀÁ@ÀªÀ³¡ #Arg(anon_fun@@õá@Ã@õá@ÈÀÁ@ÀªÀ³ vŽ@@õá@Ä@õá@ÆÀ³ ß@@õá@Å@õá@Ç@õá@É@õá@Ë@õá@Í@õá@Ï@°ÀÙ¯! ! ÀÚ°!P!‹@@±ØX@@ ° ,parse_expand+ÐÀÁ@ÀªÀ³ þ“ À’ @À³¡ #Arg#key@@õá@Ð @À³¡ #Arg‘$spec@@õá@Ñ @À³¡ #Arg’#doc@@õá@Ò@õá@Ó@@õá@Õ@õá@ÝÀÁ@ÀªÀ³¡ #Arg”(anon_fun@@õá@Ö@õá@ÛÀÁ@ÀªÀ³¡ #Arg•)usage_msg@@õá@×@õá@ÙÀ³ /–@@õá@Ø@õá@Ú@õá@Ü@õá@Þ@°À)·"Z"ZÀ*¸"l"¦@@±(Y@@ Â±$Help,F#£#exnG@ À³ Þ—@@õá@ß@@A°À<¾#5#5À=¾#5#M@@±;Z@B@ Â±#Bad-G#@ À³ î˜@@õá@á@@A°ÀLÁ#Ž#ŽÀMÁ#Ž#¥@@±K[@B@ ° %usage.ÐÀÁ@ÀªÀ³ qœ À’ @À³¡ #Arg™#key@@õá@ã @À³¡ #Argš$spec@@õá@ä @À³¡ #Arg›#doc@@õá@å@õá@æ@@õá@è@õá@íÀÁ@ÀªÀ³¡ #Arg)usage_msg@@õá@é@õá@ëÀ³ –ž@@õá@ê@õá@ì@õá@î@°ÀÆ$b$bÀ‘Æ$b$š@@±\@@ ° ,usage_string/ÐÀÁ@ÀªÀ³ µ¢ À’ @À³¡ #ArgŸ#key@@õá@ï @À³¡ #Arg $spec@@õá@ð @À³¡ #Arg¡#doc@@õá@ñ@õá@ò@@õá@ô@õá@ùÀÁ@ÀªÀ³¡ #Arg£)usage_msg@@õá@õ@õá@÷À³ v¤@@õá@ö@õá@ø@õá@ú@°ÀÔÌ%£%£ÀÕÌ%£%ä@@±Ó]@@ ° %align0ÐÀÁ‘%limitÀªÀ³r À³ \¥@@õá@û@@õá@ @õá@ ÀÁ@ÀªÀ³ © À’ @À³¡ #Arg¦#key@@õá@ü @À³¡ #Arg§$spec@@õá@ý @À³¡ #Arg¨#doc@@õá@þ@õá@ÿ@@õá@ @õá@ À³ . À’ @À³¡ #Argª#key@@õá@ @À³¡ #Arg«$spec@@õá@ @À³¡ #Arg¬#doc@@õá@ @õá@ @@õá@ @õá@ @õá@ @°À<Ð&Y&YÀ=Ð&Y&¥@@±;^@@ ° 'current1ÐÀ³¡ &Stdlib¯#ref À³ Ã®@@õá@ @@õá@ @°ÀSÙ(’(’ÀTÙ(’(§@@±R_@@ ° (read_arg2ÐÀÁ@ÀªÀ³ °@@õá@ @õá@ À³ ² À³ ±@@õá@ @@õá@ @õá@ @°Àpà)à)àÀqà)à*@@±o`@@ ° )read_arg03ÐÀÁ@ÀªÀ³ $³@@õá@ @õá@ À³ µ À³ .´@@õá@ @@õá@ @õá@ @°Àå*w*wÀŽå*w*œ@@±Œa@@ ° )write_arg4ÐÀÁ@ÀªÀ³ A¶@@õá@ @õá@ $ÀÁ@ÀªÀ³ ?¸ À³ O·@@õá@ @@õá@ @õá@ "À³ ¹¹@@õá@ !@õá@ #@õá@ %@°À³ë++À´ë++B@@±²b@@ ° *write_arg05ÐÀÁ@ÀªÀ³ gº@@õá@ &@õá@ -ÀÁ@ÀªÀ³ e¼ À³ u»@@õá@ '@@õá@ )@õá@ +À³ ß½@@õá@ *@õá@ ,@õá@ .@°ÀÙñ,,ÀÚñ,,E@@±Øc@@@3 "Parsing of command line arguments. @ ‡ This module provides a general mechanism for extracting options and arguments from the command line to the program. For example: @ ! ’ î let usage_msg = "append [-verbose] [] ... -o " let verbose = ref false let input_files = ref [] let output_file = ref "" let anon_fun filename = input_files := filename::!input_files let speclist = [("-verbose", Arg.Set verbose, "Output debug information"); ("-o", Arg.Set_string output_file, "Set output file name")] let () = Arg.parse speclist anon_fun usage_msg; (* Main functionality here *) @ Q Syntax of command lines: A keyword is a character string starting with a ‘!- ^. An option is a keyword alone or followed by an argument. The types of keywords are: ‘$Unit ", ‘$Bool ", ‘#Set ", ‘%Clear &, ‘&String ", ‘*Set_string ", ‘#Int ", ‘'Set_int ", ‘%Float ", ‘)Set_float &, ‘%Tuple ", ‘&Symbol ", ‘$Rest ", ‘(Rest_all % and ‘&Expand !. @ % ‘$Unit ", ‘#Set % and ‘%Clear ; keywords take no argument. @ ' A ‘$Rest $ or ‘(Rest_all ] keyword takes the remainder of the command line as arguments. (More explanations below.) @ € Every other keyword takes the following word on the command line as argument. For compatibility with GNU getopt_long, ‘+keyword=arg ] is also allowed. Arguments not preceded by a keyword are called anonymous arguments. @ . Examples ( ‘#cmd $ is assumed to be the command name): š " ‘4cmd -flag /(a unit option)@ " ‘4cmd -int 1 =(an int option with argument ‘!1 !)@ " ‘4cmd -string foobar ?(a string option with argument ‘("foobar" !)@ " ‘4cmd -float 12.34 >(a float option with argument ‘%12.34 !)@ " ‘4cmd a b c <(three anonymous arguments: ‘#"a" ", ‘#"b" &, and ‘#"c" !)@ " ‘4cmd a b -- c d Y(two anonymous arguments and a rest option with two arguments)@@ % ‘$Rest Z takes a function that is called repeatedly for each remaining command line argument. ‘(Rest_all T takes a function that is called once, with the list of all remaining arguments. @ ( Note that if no arguments follow a ‘$Rest O keyword then the function is not called at all whereas the function for a ‘(Rest_all * keyword is called with an empty list.@@@@@@@@@@@ 5unsynchronized_access nThe Arg module relies on a mutable global state, parsing functions should only be called from a single domain.@A4../../stdlib/arg.mli ˜#(Arg.spec3 GThe concrete type describing the behavior associated with a keyword.@@@@@@@@@@@@@ À3‘ 2@@3 $Call the function with unit argument@@@@@@@@@@@@ À"‘ !@@3 &Call the function with a bool argument@@@@@@@@@@@@ À‘ @@3 9Set the reference to true@@@@@@@@@@@@ À‘ @@3 :Set the reference to false@@@@@@@@@@@@ À÷‘ ö@@3 (Call the function with a string argument@@@@@@@@@@@@ Àè‘ ç@@3 (Set the reference to the string argument@@@@@@@@@@@@ ÀÚ‘ Ù@@3 &Call the function with an int argument@@@@@@@@@@@@ ÀË‘ Ê@@3 %Set the reference to the int argument@@@@@@@@@@@@ À½‘ ¼@@3 'Call the function with a float argument@@@@@@@@@@@@ À®‘ @@3 'Set the reference to the float argument@@@@@@@@@@@@ À ‘ Ÿ@@3 TTake several arguments according to the spec list@@@@@@@@@@@@ À‘‘ …@@3 lTake one of the symbols as argument and call the function with the symbol@@@@@@@@@@@@ Àx‘ w@@3 pStop interpreting keywords and call the function with each remaining argument@@@@@@@@@@@@ Àj‘ i@@3 pStop interpreting keywords and call the function with all remaining arguments@@@@@@@@@@@@ ÀV‘ U@@3 ŒIf the remaining arguments to process are of the form ‘6["-foo"; "arg"] @ rest I where "foo" is registered as ‘(Expand f @, then the arguments ‘.f "arg" @ rest v are processed. Only allowed in ‘=parse_and_expand_argv_dynamic !.@@@@@@@@@@@@@A@ @°\_@@ ˜#'Arg.key@@@AY @°VU@@ ˜#'Arg.doc@@@AS @°PO@@ ˜#-Arg.usage_msg@@@AM @°JI@@ ˜#,Arg.anon_fun@@@AG @°;:@@ •ð)Arg.parse3 ‘ %Arg.parse speclist anon_fun usage_msg > parses the command line. ‘(speclist 6 is a list of triples ‘0(key, spec, doc) &. ‘#key - is the option keyword, it must start with a ‘#'-' 0 character. ‘$spec g gives the option type and the function to call when this option is found on the command line. ‘#doc / is a one-line description of this option. ‘(anon_fun 8 is called on anonymous arguments. The functions in ‘$spec % and ‘(anon_fun P are called in the same order as their arguments appear on the command line. @ 9 If an error occurs, ‘)Arg.parse U exits the program, after printing to standard error an error message as follows: š M The reason for the error: unknown option, invalid or missing argument, etc.@ " ‘)usage_msg@ : The list of options, each followed by the corresponding ‘#doc 0 string. Beware: options that have an empty ‘#doc - string will not be included in the list.@@ P For the user to be able to specify anonymous arguments starting with a ‘!- 6, include for example ‘;("-", String anon_fun, doc) $ in ‘(speclist !. @ 1 By default, ‘%parse > recognizes two unit options, ‘%-help % and ‘&--help *, which will print to standard output ‘)usage_msg p and the list of options, and exit the program. You can override this behaviour by specifying your own ‘%-help % and ‘&--help , options in ‘(speclist !.@@@@@@@@@@@@à@ ° â@ °»@ °²@@@ @¥ •ð1Arg.parse_dynamic3 (Same as ÂD@ 2, except that the ‘(speclist argument is a reference and may be updated during the parsing. A typical use for this feature is to parse command lines of the form: š 7 command subcommand ‘'options O where the list of options depends on the value of the subcommand argument.@@@@@@$4.01@@@@@@@À@ °0Á@ °3‘@ °6ˆ@@@ @{ •ð.Arg.parse_argv3 ‘ 8Arg.parse_argv ~current args speclist anon_fun usage_msg 4 parses the array ‘$args E as if it were the command line. It uses and updates the value of ‘(~current 0 (if given), or +Arg.currentD@ $. You must set it before calling ‘*parse_argv 8. The initial value of ‘'current U is the index of the program name (argument 0) in the array. If an error occurs, ‘.Arg.parse_argv ( raises 'Arg.BadG@ 2 with the error message as argument. If option ‘%-help $ or ‘&--help - is given, ‘.Arg.parse_argv ( raises (Arg.HelpG@ % with the help message as argument.@@@@@@@@@@@@Ä@ °ÄÃ@ °@ °“¡@ °–z@ °™q@@@ @d •ð6Arg.parse_argv_dynamic3 (Same as lD@ 2, except that the ‘(speclist L argument is a reference and may be updated during the parsing. See §D@ !.@@@@$4.01@@@@@@@y@ °yx@ °¿e@ °ÂY@ °Å)@ °È @@@ @ •ð !Arg.parse_and_expand_argv_dynamic3 (Same as 8D@ 2, except that the ‘$argv F argument is a reference and may be updated during the parsing of ‘&Expand 4 arguments. See JD@ !.@@@@$4.05@@@@@@@1@ °ñ2@ °ô#@ °÷@ °úÞ@ °ýÕ@@@ @Ë •ð0Arg.parse_expand3 (Same as ¸D@ 2, except that the ‘&Expand # arguments are allowed and the ÄD@ : reference is not updated.@@@@$4.05@@@@@@@à@ ° á@ °#º@ °&±@@@ @¤ —ð¦3 *Raised by ‘.Arg.parse_argv = when the user asks for help.@@@@@@@@@@@@‘ §@@@ @°¤£@@ —ðÓ3 -Functions in ‘$spec $ or ‘(anon_fun + can raise ‘'Arg.Bad < with an error message to reject invalid arguments. ‘'Arg.Bad 3 is also raised by $D@ 5 in case of an error.@@@@@@@@@@@@‘ Ã@@@ @°À¿@@ •ð)Arg.usage3 ‘ prints in case of error. ‘(speclist % and ‘)usage_msg 5 are the same as for 6D@ !.@@@@@@@@@@@@Ý@ °Þ@ °“·@@@ @ª •ð0Arg.usage_string3 4Returns the message that would have been printed by 6D@ +, if provided with the same parameters.@@@@@@@@@@@@±@ °¨²@ °«‹@@@ @~ •ð)Arg.align3 >Align the documentation strings by inserting spaces at the first alignment separator (tab or, if tab is not found, space), according to the length of the keyword. Use a alignment separator as the first character in a doc string if you want to align the whole string. The doc strings corresponding to ‘&Symbol ( arguments are aligned on the next line.@@@@@@@ %limit -options with keyword and message longer than ‘%limit / will not be used to compute the alignment.@@@@@@‘@ °‘ @ °ÓŠ@@@ @> •ð…3 -Position (in (Sys.argv@@ Q) of the argument being processed. You can change this value, e.g. to force “D@ = to skip some arguments. ™D@ ; uses the initial value of ŸD@ h as the index of argument 0 (the program name) and starts parsing arguments at the next element.@@@@@@@@@@@@V@@@ @J •ð,Arg.read_arg3 ‘1Arg.read_arg file ? reads newline-terminated command line arguments from file ‘$file !.@@@@$4.05@@@@@@@V@ °W@@@ @G •ð-Arg.read_arg03 -Identical to #D@ B but assumes null character terminated command line arguments.@@@@$4.05@@@@@@@P@ °'Q@@@ @A •ð-Arg.write_arg3 ‘7Arg.write_arg file args 6 writes the arguments ‘$args & newline-terminated into the file ‘$file =. If any of the arguments in ‘$args = contains a newline, use .Arg.write_arg0D@ ) instead.@@@@$4.05@@@@@@@`@ °Ta@ °W[@@@ @K •ð3 -Identical to 8D@ C but uses the null character for terminator instead of newline.@@@@$4.05@@@@@@@S@ °mT@ °pN@@@ @>@ @°À @@ÿA@@@@@