Module Parameter_builder

module Parameter_builder: sig .. end

Kernel use only

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 

Internal use only

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