Module Parameters.LinearLevelFunction

module LinearLevelFunction: Parameter_sig.Map  with type key = Cil_types.kernel_function
                     and type value = int

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.

val mem : key -> bool