module Graph: functor (C : T) -> sig .. end
functor (
C
:
T
) ->
sig
end
Underlying graph of a category.
include C