Module Equality_propagation

module Equality_propagation: sig .. end

Pre-processing by equality propagation.

val reduce : Term.term -> Term.term

Hosted by the

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