module Norm: sig .. end
sig
end
val red_opt : Rule.RulSet.t -> Term.term -> Term.term option
Rule.RulSet.t -> Term.term -> Term.term option
val norm : Rule.RulSet.t -> Term.term -> Term.term
Rule.RulSet.t -> Term.term -> Term.term
val is_red : Rule.RulSet.t -> Term.term -> bool
Rule.RulSet.t -> Term.term -> bool
val is_norm : Rule.RulSet.t -> Term.term -> bool