Module Defprog.IdSet

module IdSet: Set.Make(sigtype t = string * string * string 

val compare : 'a * 'b * 'c -> 'a * 'b * 'c -> int
end)

Set of identifies. When used to identify classifications and sequences the strings are: file, type, idclass. When used to identify words: file, idword, idmenaing. Ordered lexicographically.