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