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