Function mk_app 

pub fn mk_app(f: Expr, args: &[Expr]) -> Expr

Construct an application from a function and a list of arguments.

mk_app(f, [a1, a2, a3]) returns f a1 a2 a3.