Function expr_app 

pub fn expr_app(f: IdrisExpr, x: IdrisExpr) -> IdrisExpr

expr_app(f, x) — function application.