Module type NonStandardSem.Alphabet


module type Alphabet = StandardSem.Alphabet