Function voile::syntax::abs::trans::introduce_abstractions

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