pub trait RuleSetMut<Q, A>: RawRuleset<Q, A>where Q: RawState, Self::Rule: Instruction<Q, A, Head = Head<Q, A>, Tail = Tail<Q, A>>,{ // Required method fn get_mut(&mut self, head: &Head<Q, A>) -> Option<&mut Tail<Q, A>>; }