Over_semigroupoid.Req
type ('a, 'b) t = ('a, 'b) G.t
The type held by the Category.
Category
val id : ('a, 'a) t
The identity morphism.