Struct MathStructure

pub struct MathStructure<State: CheckingState> {
    pub uri: SymbolURI,
    pub elements: State::Seq<OpenDeclaration<State>>,
    pub macroname: Option<Box<str>>,
}

Fields

uri: SymbolURI

elements: State::Seq<OpenDeclaration<State>>

macroname: Option<Box<str>>

Trait Implementations

impl<State: Debug + CheckingState> Debug for MathStructure<State>

where State::Seq<OpenDeclaration<State>>: Debug,

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl DeclarationTrait for MathStructure<Checked>

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

impl<'de> Deserialize<'de> for MathStructure<Unchecked>

Available on crate feature serde only.

fn deserialize<D: Deserializer<'de>>(d: D) -> Result<Self, D::Error>

Deserialize this value from the given Serde deserializer.

impl ModuleTrait for MathStructure<Checked>

fn declarations(&self) -> &[Declaration]

fn content_uri(&self) -> ContentURIRef<'_>

fn find<T: DeclarationTrait>(&self, steps: &[NameStep]) -> Option<&T>

impl Resolvable for MathStructure<Checked>

type From = SymbolURI

fn id(&self) -> Cow<'_, Self::From>

impl<State: CheckingState> Serialize for MathStructure<State>

Available on crate feature serde only.

fn serialize<S: Serializer>(&self, s: S) -> Result<S::Ok, S::Error>

Serialize this value into the given Serde serializer.

impl Sealed for MathStructure<Checked>