module Monoid: functor (M : Monoid.T) -> sig .. end
functor (
M
:
Monoid.T
) ->
sig
end
Category of a monoid.
module V: Alphabet.Unit
Alphabet.Unit
module E: M
val src : 'a -> unit
'a -> unit
val tgt : 'a -> unit
val comp : M.t -> M.t -> M.t
M.t -> M.t -> M.t
val id : unit -> M.t
unit -> M.t