notebook_types::current

Module model_judgment

Source

Structs§

MorDecl
Declares a morphism in a model of a double theory.
ObDecl
Declares an object in a model of a double theory.

Enums§

ModelJudgment