module Category: sig .. end
sig
end
Categories.
module type T = sig .. end
A category.
module Free: functor (G : Graph.T) -> sig .. end
functor (
G
:
Graph.T
) ->
Free category on a graph.
module Monoid: functor (M : Monoid.T) -> sig .. end
M
Monoid.T
Category of a monoid.
module Graph: functor (C : T) -> sig .. end
C
T
Underlying graph of a category.