Module Arg_helper

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:

functor (S : sig

module Key: sig .. end

module Value: sig .. end

end) -> sig .. end

The present documentation is copyright Institut National de Recherche en Informatique et en Automatique (INRIA). A complete version can be obtained from this page.