Type Alias ModalType 

pub type ModalType = ModeApp<QualifiedName>;

A basic type in a modal double theory.

These are (object or morphism) types that cannot be built out of others.

Aliased Type

pub struct ModalType {
    pub arg: QualifiedName,
    pub modalities: Vec<Modality>,
}

Fields

arg: QualifiedName

Argument to which the modalities are applied.

modalities: Vec<Modality>

List of modalities applied (from left to right).