Module DeadStore

Provides classes and predicates for reasoning about dead stores.

Import path

import Declarations.DeadStore

Provides classes for working with JavaScript programs, as well as JSON, YAML and HTML.

Holds if e is an expression that may be used as a default initial value, such as 0 or -1, or an empty object or array literal.