System_config.Plugins
Unless you are working in the kernel of Frama-C, you should not use this.
val dirs : Filepath.Normalized.t list
Directories where the Frama-C dynamic plug-ins are located.
val path : string
The colon-separated concatenation of dirs.
dirs
val load : string -> unit
Load given plug-in name
val load_all : unit -> unit
Load all plug-ins, do not load GUI plug-in when not in GTK GUI mode