Function voile::syntax::abs::trans::trans_expr_inner

fn trans_expr_inner(
    expr: &Expr, 
    env: &[AbsDecl], 
    global_map: &BTreeMap<String, DBI>, 
    local_env: &[UID], 
    local_map: &BTreeMap<String, DBI>
) -> TCM<Abs>