sig
val
norm :
Rule
.
RulSet
.t
->
Term
.term
->
Term
.term
end