Type Definition modus_ponens::ruletree::Response[][src]

pub type Response<'a> = Vec<(&'a RefCell<Vec<RuleRef<'a>>>, MPMatching<'a>)>;