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>, 
    params: &[Param], 
    result: &Expr, 
    kind: DtKind
) -> TCM<Abs>