Function mk_app_range 

pub fn mk_app_range(f: Expr, args: &[Expr], begin: usize, end: usize) -> Expr

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

mk_app_range(f, args, 1, 3) returns f args[1] args[2].