Module Transformations.SSA_Query

Simplification via simple queries. This functor is often inlined for efficiency, as in Product.SSAQueryLeft or Numeric.SSAQuery.

Its command line id is Q (under Lift or LiftGVN)

val id : string

Command line identifier

val doc : string

Command line documentation

The actual transformation functor