Module Framework.Engines

module Engine_sig : sig ... end

Signature of an analysis engine

module Automatic : sig ... end

Engine for an automatic analysis without user interaction

module Interactive : sig ... end