Expand description
Models of discrete double theories.
Structs§
- Discrete
DblModel - A finitely presented model of a discrete double theory.
Type Aliases§
- Ustr
Discrete DblModel - A model of a discrete double theory where both theoy and model have keys of
type
Ustr.