Module type Environ.QS

type t
val canonize : env -> t -> t