Type Alias InvalidDiscreteDblModelDiagram

pub type InvalidDiscreteDblModelDiagram<DomId> = InvalidDblModelDiagram<InvalidDblModel<DomId>, InvalidDblModelMorphism<DomId, DomId>>;

A failure to be valid in a diagram in a model of a discrete double theory.

Aliased Type

enum InvalidDiscreteDblModelDiagram<DomId> {
    Dom(InvalidDblModel<DomId>),
    Map(InvalidDblModelMorphism<DomId, DomId>),
}

Variants

Dom(InvalidDblModel<DomId>)

Domain of the diagram is invalid.

Map(InvalidDblModelMorphism<DomId, DomId>)

Mapping underlying the diagram is invalid.