Module Norm_ml


module Norm_ml: sig .. end

Generate ML normalization



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