Module Transformations.Ternary

Since Frama-c's parser already removes ternary expressions, this isn't used. Removes Ast.Expr.E_IfThenElse constructs by making the control flow jumps explicit.

Its command line id is T.

type relation_in = Ast.Program.relation
type relation_out = Ast.Program.relation
val id : string

Command line identifier

val doc : string

Command line documentation

The actual transformation functor