Module Subtyping_glushkov.OrderedNamePairs

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