module NonStandardSem: sig .. end
sig
end
module type Alphabet = StandardSem.Alphabet
StandardSem.Alphabet
module type S = StandardSem.S
StandardSem.S
module Make: functor (Alpha : Alphabet) -> S with module Alpha = Alpha
functor (
Alpha
:
Alphabet
) ->
S
with module Alpha = Alpha