Enum dedukti_parse::term::Atom
source · [−]pub enum Atom<C> {
Const(C),
Var(usize),
Type,
}
Expand description
Term without subterms.
Variants
Const(C)
constant
Var(usize)
variable (de Bruijn index)
Type
“Type”
Trait Implementations
Auto Trait Implementations
impl<C> RefUnwindSafe for Atom<C> where
C: RefUnwindSafe,
impl<C> Send for Atom<C> where
C: Send,
impl<C> Sync for Atom<C> where
C: Sync,
impl<C> Unpin for Atom<C> where
C: Unpin,
impl<C> UnwindSafe for Atom<C> where
C: 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