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