Module Subtyping_glushkov.OrderedNamePairs


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