module type T = sig .. end
sig
end
A category.
include Graph.T
val comp : E.t -> E.t -> E.t
E.t -> E.t -> E.t
Composition of morphisms.
val id : V.t -> E.t
V.t -> E.t
Identity morphism.