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