Module model

Models of modal double theories.

Structs

ModalDblModel

A model of a modal double theory.

Enums

ModalMor

Morphism is a model of a modal double theory.

ModalOb

Object in a model of a modal double theory.

MorListData

Extra data associated with a list of morphisms in a list modality.