sig
type
t =
Subtyping_letter
.actual_letter
val
compare : t
->
t
->
int
end