module type Builder = sig
.. end
Signatures containing the different functors which may be used to generate
new command line options.
Consult the Plugin Development Guide for additional details.
val no_element_of_string : string -> 'a
Since Sodium-20150201
Raises Cannot_build
for any entry
module Bool:
module Action:
module False:
module True:
module WithOutput:
module Int: functor (
X
:
sig
include Parameter_sig.Input_with_arg
val default : int
end
) ->
Parameter_sig.Int
module Zero:
module String: functor (
X
:
sig
include Parameter_sig.Input_with_arg
val default : string
end
) ->
Parameter_sig.String
module Empty_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:
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:
module 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:
module Make_map:
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:
Parameter is a map where multibindings are allowed.
module String_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.
val parameters : unit -> Typed_parameter.t list