Module Dynamic_plugins.Scope

module Scope: sig .. end

val rm_asserts : unit -> unit

Remove redundant alarms. Used by the Eva plugin.