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