module Alphabet: functor (M : T) -> sig .. end
functor (
M
:
T
) ->
sig
end
Underlying alphabet of a monoid.
include M