Module type Term_logic.Rewriter

module type Rewriter = sig .. end

val rewrite : Term.term -> Term.term

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