module Generate: functor (X : Alphabet.T with type t = int) -> sig .. end
functor (
X
:
Alphabet.T
with type t = int
) ->
sig
end
Alphabet.T with type t = int
module Presentation: Monoid.Presentation(X)
Monoid.Presentation
(
)
val intset : int -> int list
int -> int list