Function voile::syntax::abs::trans::trans_expr

pub fn trans_expr(
    expr: &Expr, 
    env: &[AbsDecl], 
    map: &BTreeMap<String, DBI>
) -> TCM<Abs>