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 (S : sig ... end) : sig ... end