Struct dedukti_parse::parse::Rule [−][src]
Fields
ctx: Vec<(S, 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<S, Tm> RefUnwindSafe for Rule<S, Tm> where
S: RefUnwindSafe,
Tm: RefUnwindSafe,
impl<S, Tm> UnwindSafe for Rule<S, Tm> where
S: UnwindSafe,
Tm: UnwindSafe,
Blanket Implementations
Mutably borrows from an owned value. Read more