Type Alias InvalidDiscreteDblModelDiagram 

pub type InvalidDiscreteDblModelDiagram = InvalidDblModelDiagram<InvalidDblModel, InvalidDblModelMorphism>;

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

Aliased Type

pub enum InvalidDiscreteDblModelDiagram {
    Dom(InvalidDblModel),
    Map(InvalidDblModelMorphism),
}

Variants

Dom(InvalidDblModel)

Domain of the diagram is invalid.

Map(InvalidDblModelMorphism)

Mapping underlying the diagram is invalid.