Functor Parameter_sig.Builder.Kernel_function_multiple_map

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:

`V`	:	`Multiple_value_datatype with type key = Cil_types.kernel_function`
`X`	:	`sig include Input_with_arg val default: V.t list Cil_datatype.Kf.Map.t end`

type key

type value

include Parameter_sig.Collection

val find : key -> value list

val mem : key -> bool