pub trait SymbolicExpressionCommon {
type S: SymbolicExpressionCommon;
fn set_id(&mut self, id: u64);
fn match_list_mut(&mut self) -> Option<&mut [Self::S]>;
}
pub trait SymbolicExpressionCommon {
type S: SymbolicExpressionCommon;
fn set_id(&mut self, id: u64);
fn match_list_mut(&mut self) -> Option<&mut [Self::S]>;
}