poi
pub fn concrete_op<S: Into<Symbol>>(s: S) -> Knowledge
Knowledge about a concrete binary operation f(x : \, y : \) => f(x)(y) : \.
f(x : \, y : \) => f(x)(y) : \