Module model_instance 

Instances of models of a modal double theory.

Structs

ModalInstanceTerm

A term in an instance of a modal double model: a single model morphism applied to a base built from instance generators.

Enums

ModalInstanceBase

The base of a ModalInstanceTerm: instance generators, tupled into lists to match list-shaped fibers.

Functions

modal_mor_as_identity

If mor is an identity morphism (Composite(Path::Id(ob))), returns the object it is the identity on.

Type Aliases

ModalDblModelInstance

An instance of a model of a modal double theory.