Arg_helper(3)

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

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

module Make : functor (S : sig end) -> sig end