Module diagram_judgment 

Structs

DiagramEqnDecl

Declares an equation in a diagram in a model of a double theory.

DiagramMorDecl

Declares a morphism of a diagram in a model.

DiagramObDecl

Declares an object of a diagram in a model.

Enums

DiagramJudgment

A judgment defining part of a diagram in a model.