Module Kernel_function_multiple_map.Category
type t = elt Frama_c_kernel.Parameter_category.t
val set_default : t -> unit
val add :
string ->
Frama_c_kernel.State.t list ->
elt Frama_c_kernel.Parameter_category.accessor ->
t
val enable_all :
Frama_c_kernel.State.t list ->
elt Frama_c_kernel.Parameter_category.accessor ->
t
val enable_all_as : t -> unit