NAME

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