Enum dedukti_parse::Command
source · [−]Expand description
Command of a Dedukti theory.
Variants
Intro(C, Vec<(V, Tm)>, Intro<Tm>)
Rules(Vec<Rule<V, Tm>>)
Implementations
Trait Implementations
Auto Trait Implementations
impl<C, V, Tm> RefUnwindSafe for Command<C, V, Tm> where
C: RefUnwindSafe,
Tm: RefUnwindSafe,
V: RefUnwindSafe,
impl<C, V, Tm> Send for Command<C, V, Tm> where
C: Send,
Tm: Send,
V: Send,
impl<C, V, Tm> Sync for Command<C, V, Tm> where
C: Sync,
Tm: Sync,
V: Sync,
impl<C, V, Tm> Unpin for Command<C, V, Tm> where
C: Unpin,
Tm: Unpin,
V: Unpin,
impl<C, V, Tm> UnwindSafe for Command<C, V, Tm> where
C: UnwindSafe,
Tm: UnwindSafe,
V: 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