Module guarantees

Module guarantees 

Source
Expand description

Simplifier implementation for ExprSimplifier::with_guarantees()

Structsยง

GuaranteeRewriter
Rewrite expressions to incorporate guarantees.