[−][src]Function voile::syntax::abs::trans::trans_expr_inner
fn trans_expr_inner(
expr: Expr,
meta_count: &mut MI,
env: &[AbsDecl],
global_map: &BTreeMap<String, GI>,
local_env: &[UID],
local_map: &BTreeMap<String, (DBI, Plicit)>
) -> TCM<Abs>