Struct dedukti_parse::Symb
source · [−]pub struct Symb<S> {
pub path: Vec<S>,
pub name: S,
}
Expand description
Symbol consisting of a relative module path and a name.
Fields
path: Vec<S>
module path (["a", "b"]
for symbol "a.b.c"
)
name: S
symbol name ("c"
for symbol "a.b.c"
)
Implementations
Trait Implementations
sourceimpl<S: Into<S2>, S2, V> Scope<S, V> for Symb<S2>
impl<S: Into<S2>, S2, V> Scope<S, V> for Symb<S2>
The trivial scoper, mapping symbols to something they can be trivially converted to (including themselves).
impl<S: Eq> Eq for Symb<S>
impl<S> StructuralEq for Symb<S>
impl<S> StructuralPartialEq for Symb<S>
Auto Trait Implementations
impl<S> RefUnwindSafe for Symb<S> where
S: RefUnwindSafe,
impl<S> Send for Symb<S> where
S: Send,
impl<S> Sync for Symb<S> where
S: Sync,
impl<S> Unpin for Symb<S> where
S: Unpin,
impl<S> UnwindSafe for Symb<S> where
S: UnwindSafe,
Blanket Implementations
sourceimpl<T> BorrowMut<T> for T where
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more