notebook_types::current

Module theory

Enums§

Modality: Modality available in a modal double theory.
MorType: Morphism type in a double theory.
ObOp: Object operation in a double theory.
ObType: Object type in a double theory.