Module String_map.Category

type elt = elt
type t = elt Frama_c_kernel.Parameter_category.t
val none : t
val default : unit -> t
val all : unit -> 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