pub type CommutativePropValue = Vec<Vec<usize>>;
pub struct CommutativePropValue { /* private fields */ }