sig type t val compare : GenVars.IMG.t -> GenVars.IMG.t -> int val merge : GenVars.IMG.t -> GenVars.IMG.t -> GenVars.IMG.t val normalize : GenVars.IMG.t -> GenVars.IMG.t val string_of : GenVars.IMG.t -> string end