Function voile::syntax::abs::trans::introduce_telescope

fn introduce_telescope(
    env: &[AbsDecl], 
    global_map: &BTreeMap<String, DBI>, 
    dt_env: &mut Vec<UID>, 
    dt_map: &mut BTreeMap<String, DBI>, 
    names: &mut Vec<UID>, 
    dt_vec: Vec<Abs>, 
    param: &Param
) -> TCM<Vec<Abs>>