Function mk_pi_many 

pub fn mk_pi_many(binders: &[(Name, Expr)], body: Expr) -> Expr

Build a Pi type over a list of binders.

mk_pi_many(&[(name, ty), ...], body) wraps body in Pis.