Type Alias ModalObType

pub type ModalObType = ModeApp<QualifiedName>;

An object type in a modal double theory.

Aliased Type

pub struct ModalObType {
    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).