Struct dedukti_parse::Rule
source · [−]Expand description
A command that introduces a set of rewrite rules.
Fields
ctx: Vec<(V, Option<Tm>)>
context (bound variables)
lhs: Tm
left-hand side (pattern to match with)
rhs: Tm
right-hand side (term to replace with)
Trait Implementations
Auto Trait Implementations
impl<V, Tm> RefUnwindSafe for Rule<V, Tm> where
Tm: RefUnwindSafe,
V: RefUnwindSafe,
impl<V, Tm> Send for Rule<V, Tm> where
Tm: Send,
V: Send,
impl<V, Tm> Sync for Rule<V, Tm> where
Tm: Sync,
V: Sync,
impl<V, Tm> Unpin for Rule<V, Tm> where
Tm: Unpin,
V: Unpin,
impl<V, Tm> UnwindSafe for Rule<V, Tm> where
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