voile::syntax::abs::trans
fn introduce_abstractions( params: &[Ident], local_env: &mut Vec<UID>, local_map: &mut BTreeMap<String, DBI>, names: &mut Vec<UID>)