poi
pub fn commutative<S: Into<Symbol>>(s: S) -> Knowledge
Knowledge about a commuative binary operator.