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: 

module Key: sig .. end

module Value: sig .. end