Previous  Up  

Module type Parameter_sig.Builder

module type Builder = sig .. end

Signatures containing the different functors which may be used to generate new command line options.

val no_element_of_string : string -> 'a
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 : Filepath.existence
val file_kind : string

used in error message if the file does not exist where it should and vice-versa.

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 Filepath_list: 
functor (X : sig
include Parameter_sig.Input_with_arg
val existence : Fc_Filepath.existence
val file_kind : string

see Filepath module.

end) -> Parameter_sig.Filepath_list 
module Filepath_map: 
functor (V : Parameter_sig.Value_datatype  with type key = Fc_Filepath.Normalized.t) -> 
functor (X : sig
include Parameter_sig.Input_with_arg
val default : V.t Datatype.Filepath.Map.t
val existence : Fc_Filepath.existence
val file_kind : string
end) -> Parameter_sig.Map 
    with type key = Fc_Filepath.Normalized.t
     and type value = V.t
     and type t = V.t Datatype.Filepath.Map.t
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