Module model
catcolab_
document_
types
0.1.0
Module model
Module Items
Enums
In catcolab_
document_
types::
v1
catcolab_document_types
::
v1
Module
model
Copy item path
Source
Enums
ยง
Mor
A morphism in a model of a double theory.
Ob
An object in a model of a double theory.