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