module Eva_dynamic: sig .. end
sig
end
Access to other plugins API via .
module Callgraph: sig .. end
module Scope: sig .. end
module RteGen: sig .. end