Module Term_logic.Rbc_rewriter

module Rbc_rewriter: Rewriter

A term rewriter based on Reduced Boolean Circuits.

val rewrite : Term.term -> Term.term

A term transformation.

Hosted by the

^* web site.
^*Other names and brands may be claimed as the property of others.