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 : '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 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
end