Module type Sig.SSA_Transformation

Type of abitrary program transformation on top of an SSA abstract domain. They typically override S's assume function

Note that this type implies the transformation doesn't know the type of S.SSA_State.t. It is opaque, meaning it:

val id : string

Command line identifier

val doc : string

Command line documentation

The actual transformation functor