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