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

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