Function poi::concrete_op

pub fn concrete_op<S: Into<Symbol>>(s: S) -> Knowledge

Knowledge about a concrete binary operation f(x : \, y : \) => f(x)(y) : \.