Struct modus_ponens::ruletree::RuleRef [−][src]
pub struct RuleRef<'a> {
pub rule: MPRule<'a>,
pub varmap: MPMatching<'a>,
}
Fields
rule: MPRule<'a>
varmap: MPMatching<'a>
Trait Implementations
Auto Trait Implementations
impl<'a> RefUnwindSafe for RuleRef<'a>
impl<'a> UnwindSafe for RuleRef<'a>
Blanket Implementations
Mutably borrows from an owned value. Read more