Module Dynamic_plugins

module Dynamic_plugins: sig .. end

This module contains all the dynamically registered plugins

module Print_api: sig .. end

module Aorai: sig .. end

module RteGen: sig .. end

module Security_slicing: sig .. end

module Report: sig .. end

module Wp: sig .. end

module Obfuscator: sig .. end

module Callgraph: sig .. end

module E_ACSL: sig .. end

module Scope: sig .. end