HashNormalizer.Make
T : NormalizedT
type t
= T.t
type the normalizer works on
val normalize : t -> t
return equal normalized representative
val reset : unit -> unit
reset underlying hashtable