module Scope: sig .. end
sig
end
val rm_asserts : unit -> unit
unit -> unit
Remove redundant alarms. Used by the Eva plugin.
Dynamic.get ~plugin:"scope" "rm_asserts" (Datatype.func Datatype.unit Datatype.unit)