Module Transformations.SSA_SimplifyExpression

SSA variant of SimplifyExpression.

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

val id : string

Command line identifier

val doc : string

Command line documentation

The actual transformation functor