module Kernel_function_multiple_map:functor (
V
:
Parameter_sig.Multiple_value_datatype
with type key = Cil_types.kernel_function
) ->
functor (
X
:
sig
include Parameter_sig.Input_with_arg
val default :V.t list Cil_datatype.Kf.Map.t
end
) ->
Parameter_sig.Multiple_map
with type key = Cil_types.kernel_function and type value = V.t and type t = V.t list Cil_datatype.Kf.Map.t
As for Kernel_function_set, by default keys can only be defined functions.
Use Parameter_customize.argument_may_be_fundecl
to also include
pure prototypes.
Parameters: |
|
type
key
type
value
include Parameter_sig.Collection
val find : key -> value list
val mem : key -> bool