Module model_instance

catlog::dbl::discrete

Module model_instance 

Source
Expand description

Instances of models of a discrete double theory.

Structs§

DiscreteInstanceTerm
A term in an instance of a discrete double model: a model morphism applied to a single instance generator.

Type Aliases§

DiscreteDblModelInstance
An instance of a model of a discrete double theory.