Arg_helper3o
Decipher command line arguments of the form <value> | <key>=<value>,...
Module
Module Arg_helper
Documentation
Module Arg_helper
: sig end
Decipher command line arguments of the form <value> | <key>=<value> ,...
(as used for example for the specification of inlining parameters varying by simplification round).
Warning: this module is unstable and part of Compiler_libs .
module Make : (S : sig end) -> sig end
Releases
4 releases since Debian 11 (Bullseye); the text changed 3 times.