Up
Next
Module type
NonStandardSem.Alphabet
module type
Alphabet =
StandardSem.Alphabet