sig
module Make :
functor
(P : sig
val shortname : string
val parameters : (string, Typed_parameter.t list) Hashtbl.t
module L :
sig
val abort : ('a, 'b) Log.pretty_aborter
val warning : 'a Log.pretty_printer
end
val messages_group : Cmdline.Group.t
end) ->
Parameter_sig.Builder
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 find_kf_decl_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_decl_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
val ast_dependencies : State.t list Pervasives.ref
end