module Parameter_builder: sig
.. end
Functors for implementing new command line options.
Kernel use only
module Make:
Internal use only
val find_kf_by_name : (string -> Cil_types.kernel_function) Pervasives.ref
val find_kf_def_by_name : (string -> Cil_types.kernel_function) Pervasives.ref
val kf_category : (unit -> Cil_types.kernel_function Parameter_category.t) Pervasives.ref
val kf_def_category : (unit -> Cil_types.kernel_function Parameter_category.t) Pervasives.ref
val kf_string_category : (unit -> string Parameter_category.t) Pervasives.ref
val fundec_category : (unit -> Cil_types.fundec Parameter_category.t) Pervasives.ref
val force_ast_compute : (unit -> unit) Pervasives.ref