Module Norm


module Norm: sig .. end

Normalization of completion terms




Compute Some reduct or None
val red_opt : Rule.RulSet.t -> Term.term -> Term.term option

Normalization function
val norm : Rule.RulSet.t -> Term.term -> Term.term
val is_red : Rule.RulSet.t -> Term.term -> bool
Test reducibility
val is_norm : Rule.RulSet.t -> Term.term -> bool