Function knube::exp::app

pub fn app(left: ExpBox, right: ExpBox) -> ExpBox

Constructs an application with the given left and right expressions.

Applications would translate to functions calls, i.e. if left is f and right is x, then app(left, right) is (f x) or f(x) depending on the style.