HashNormalizer.S
normalizer module which uses a hashtable to store normalized representatives
type t
type the normalizer works on
val normalize : t -> t
return equal normalized representative
val reset : unit -> unit
reset underlying hashtable