module Kernel_function_map: functor (
V
:
Parameter_sig.Value_datatype
with type key = Cil_types.kernel_function
) ->
functor (
X
:
sig
include Parameter_sig.Input_with_arg
val default : V.t Cil_datatype.Kf.Map.t
end
) ->
Parameter_sig.Map
with type key = Cil_types.kernel_function
and type value = V.t
and type t = V.t Cil_datatype.Kf.Map.t
Parameters: |
V |
: |
Value_datatype with type key = Cil_types.kernel_function
|
X |
: |
sig include Input_with_arg val default: V.t Cil_datatype.Kf.Map.t end
|
|
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