Module model_presentation 

Serialization of elaborated models.

In contrast to a model notebook, which is mere notation, these data types serialize a fully elaborated model. The serialization is as a presentation in terms of generators and relations.

Structs

ModelPresentation

Presentation of a model of a double theory.

MorGenerator

Morphism generator in a model of a double theory.

ObGenerator

Object generator in a model of a double theory.