Trait Sealed

pub trait Sealed { }

Implementors

impl Sealed for NestedModule<Checked>

impl Sealed for Morphism<Checked>

impl Sealed for Extension<Checked>

impl Sealed for MathStructure<Checked>

impl Sealed for Symbol

impl Sealed for Declaration