Functor Parameter_builder.Make

module Make: 
functor (P : sig
val shortname : string
val parameters : (string, Typed_parameter.t list) Hashtbl.t
module L: sig .. end
val messages_group : Cmdline.Group.t
end-> Parameter_sig.Builder 
Parameters:
P : sig val shortname: string val parameters: (string, Typed_parameter.t list) Hashtbl.t module L: sig val abort: ('a,'b) Log.pretty_aborter val warning: 'a Log.pretty_printer end val messages_group: Cmdline.Group.t end

val no_element_of_string : string -> 'a
Since Sodium-20150201
Raises Cannot_build for any entry
module Bool: 
functor (X : sig
include Parameter_sig.Input
val default : bool
end-> Parameter_sig.Bool 
module Action: 
functor (X : Parameter_sig.Input-> Parameter_sig.Bool
module False: 
functor (X : Parameter_sig.Input-> Parameter_sig.Bool
module True: 
functor (X : Parameter_sig.Input-> Parameter_sig.Bool
module WithOutput: 
functor (X : sig
include Parameter_sig.Input
val output_by_default : bool
end-> Parameter_sig.With_output 
module Int: 
functor (X : sig
include Parameter_sig.Input_with_arg
val default : int
end-> Parameter_sig.Int 
module Zero: 
functor (X : Parameter_sig.Input_with_arg-> Parameter_sig.Int
module String: 
functor (X : sig
include Parameter_sig.Input_with_arg
val default : string
end-> Parameter_sig.String 
module Empty_string: 
functor (X : Parameter_sig.Input_with_arg-> Parameter_sig.String
module Fc_Filepath: Filepath
module Filepath: 
functor (X : sig
include Parameter_sig.Input_with_arg
val existence : Parameter_sig.existence
end-> Parameter_sig.Filepath 
exception Cannot_build of string
module Make_set: 
functor (E : sig
include Parameter_sig.String_datatype_with_collections
val of_singleton_string : string -> Parameter_sig.Set.t
end-> 
functor (X : sig
include Parameter_sig.Input_collection
val default : E.Set.t
end-> Parameter_sig.Set  with type elt = E.t and type t = E.Set.t
module String_set: 
functor (X : Parameter_sig.Input_with_arg-> Parameter_sig.String_set
module Filled_string_set: 
functor (X : sig
include Parameter_sig.Input_with_arg
val default : Datatype.String.Set.t
end-> Parameter_sig.String_set 
module Kernel_function_set: 
functor (X : Parameter_sig.Input_with_arg-> Parameter_sig.Kernel_function_set
module Fundec_set: 
functor (X : Parameter_sig.Input_with_arg-> Parameter_sig.Fundec_set
module Make_list: 
functor (E : sig
include Parameter_sig.String_datatype
val of_singleton_string : string -> t list
end-> 
functor (X : sig
include Parameter_sig.Input_collection
val default : E.t list
end-> Parameter_sig.List  with type elt = E.t and type t = E.t list
module String_list: 
functor (X : Parameter_sig.Input_with_arg-> Parameter_sig.String_list
module Make_map: 
functor (K : Parameter_sig.String_datatype_with_collections-> 
functor (V : Parameter_sig.Value_datatype with type key = K.t-> 
functor (X : sig
include Parameter_sig.Input_collection
val default : V.t K.Map.t
end-> Parameter_sig.Map 
    with type key = K.t and type value = V.t and type t = V.t K.Map.t
Parameter is a map where multibindings are **not** allowed.
module String_map: 
functor (V : Parameter_sig.Value_datatype with type key = string-> 
functor (X : sig
include Parameter_sig.Input_with_arg
val default : V.t Datatype.String.Map.t
end-> Parameter_sig.Map 
    with type key = string
    and type value = V.t
    and type t = V.t Datatype.String.Map.t
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
As for Kernel_function_set, by default keys can only be defined functions.
module Make_multiple_map: 
functor (K : Parameter_sig.String_datatype_with_collections-> 
functor (V : Parameter_sig.Multiple_value_datatype with type key = K.t-> 
functor (X : sig
include Parameter_sig.Input_collection
val default : V.t list K.Map.t
end-> Parameter_sig.Multiple_map 
    with type key = K.t and type value = V.t and type t = V.t list K.Map.t
Parameter is a map where multibindings are allowed.
module String_multiple_map: 
functor (V : Parameter_sig.Multiple_value_datatype with type key = string-> 
functor (X : sig
include Parameter_sig.Input_with_arg
val default : V.t list Datatype.String.Map.t
end-> Parameter_sig.Multiple_map 
    with type key = string
    and type value = V.t
    and type t = V.t list Datatype.String.Map.t
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.
val parameters : unit -> Typed_parameter.t list