|
NAMEArg_helper - Decipher command line arguments of the form <value> | <key>=<value>,... ModuleModule Arg_helper DocumentationModule Arg_helper
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 : functor (S : sig end) -> sig end
|