Module Transformations.SimplifyExpression

Simple expression rewrites using queries (x + 0 -> x and others). This domain isn't complete: it will rewrite things like x = x -> 1 which can cause problems if x contains a division by 0.

Its command line id is E.

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