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