Function voile::syntax::abs::trans::trans_dependent_type

fn trans_dependent_type(
    meta_count: &mut MI, 
    env: &[AbsDecl], 
    global_map: &BTreeMap<String, GI>, 
    local_env: &[UID], 
    local_map: &BTreeMap<String, (DBI, Plicit)>, 
    params: Vec<Param>, 
    result: Expr, 
    kind: PiSig
) -> TCM<Abs>