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).
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.