Module diagram_judgment
notebook_
types
0.1.0
Module diagram_
judgment
Module Items
Structs
Enums
In notebook_
types::
v1
notebook_types
::
v1
Module
diagram_
judgment
Copy item path
Source
Structs
§
Diagram
MorDecl
Declares a morphism of a diagram in a model.
Diagram
ObDecl
Declares an object of a diagram in a model.
Enums
§
Diagram
Judgment
A judgment defining part of a diagram in a model.