seal5.transform.eliminate_mod_rfs.visitor

Eliminate modulo RFS operations from behavioral expressions.

Classes

EliminateModRfsVisitor()

Eliminate (rd != 0) modulo RFS checks from behavioral expressions.