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