Module Scope

Scope analysis.

module Defs : sig ... end

Interface for the Scope plugin.

module Datascope : sig ... end

Zones

module Zones : sig ... end