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

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