module OrderedNamePairs: Set.OrderedType with type t = Subtyping_letter.actual_letter
Set.OrderedType
with type t = Subtyping_letter.actual_letter