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
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_with_arg
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_with_arg
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_with_arg
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_with_arg
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