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