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 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