Functor NonStandardSem.Make


module Make: 
functor (Alpha : Alphabet) -> S with module Alpha = Alpha
Parameters:
Alpha : Alphabet