Type Alias ModalObType

pub type ModalObType<Id> = ModeApp<Id>;

An object type in a modal double theory.

Aliased Type

struct ModalObType<Id> {
    pub arg: Id,
    pub modalities: Vec<Modality>,
}

Fields

arg: Id

Argument to which the modalities are applied.

modalities: Vec<Modality>

List of modalities applied (from left to right).