sig
  type t = Modified | Unmodified
  val max : Modified.t -> Modified.t -> Modified.t
end