module Parameter_builder:sig
..end
Functors for implementing new command line options.
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
val find_kf_by_name : (string -> Cil_types.kernel_function) Stdlib.ref
val find_kf_def_by_name : (string -> Cil_types.kernel_function) Stdlib.ref
val find_kf_decl_by_name : (string -> Cil_types.kernel_function) Stdlib.ref
val kf_category : (unit -> Cil_types.kernel_function Parameter_category.t) Stdlib.ref
val kf_def_category : (unit -> Cil_types.kernel_function Parameter_category.t) Stdlib.ref
val kf_decl_category : (unit -> Cil_types.kernel_function Parameter_category.t) Stdlib.ref
val kf_string_category : (unit -> string Parameter_category.t) Stdlib.ref
val fundec_category : (unit -> Cil_types.fundec Parameter_category.t) Stdlib.ref
val force_ast_compute : (unit -> unit) Stdlib.ref
val ast_dependencies : State.t list Stdlib.ref