module Make:functor (
P
:
sig
val shortname :string
val parameters :(string, Typed_parameter.t list) Stdlib.Hashtbl.t
module L:sig
..end
val messages_group :Cmdline.Group.t
end
) ->
Parameter_sig.Builder
Parameters: |
|
val no_element_of_string : string -> 'a
Cannot_build
for any entrymodule Bool:
module Action:
module False:
module True:
module WithOutput:functor (
X
:
sig
include Parameter_sig.Input
val output_by_default :bool
end
) ->
Parameter_sig.With_output
module 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_collection
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_collection
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: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