{G : Graph} (D : Diagram G) : Type := @Coeq {x : sig D & {j : G & G x.
Require Import Basics Types. Require Import Diagrams.Diagram. Require Import Diagrams.Graph. Require Import Diagrams.Cocone. Require Import Diagrams.ConstantDiagram. Require Import Colimits.Coeq.