Parameter QMap._

type t = M.key
val canonize : env -> t -> t