Module Kernel.CppExtraArgsPerFile

module CppExtraArgsPerFile: Parameter_sig.Filepath_map  with type value = string
Behavior of option "-cpp-extra-args-per-file"

type key 
Type of keys of the map.
type value 
Type of the values associated to the keys.
include Parameter_sig.Collection

A map is a collection in which elements are pairs (key, value), but some values may be missing.

Additional accessors to the map.


val find : key -> value
Search a given key in the map.
Raises Not_found if there is no such key in the map.
val mem : key -> bool