Module diagram_judgment

Structs

DiagramMorDecl

Declares a morphism of a diagram in a model.

DiagramObDecl

Declares an object of a diagram in a model.

Enums

DiagramJudgment

A judgment in the definition of a diagram in a model.