Type Alias Declaration

pub type Declaration = OpenDeclaration<Checked>;

Aliased Type

pub enum Declaration {
    NestedModule(NestedModule<Checked>),
    Import(MaybeResolved<ModuleLike>),
    Symbol(Symbol),
    MathStructure(MathStructure<Checked>),
    Morphism(Morphism<Checked>),
    Extension(Extension<Checked>),
}

Variants

NestedModule(NestedModule<Checked>)

Import(MaybeResolved<ModuleLike>)

Symbol(Symbol)

MathStructure(MathStructure<Checked>)

Morphism(Morphism<Checked>)

Extension(Extension<Checked>)

Trait Implementations

impl DeclarationTrait for Declaration

fn from_declaration(decl: &Declaration) -> Option<&Self>

impl Sealed for Declaration