Parameter QMap.2-_

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