Module Transformations.DivGuard

Add a guard divisor <> 0 before every division.

Its command line id is D.

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