(* NOTE: the inner binders are alpha-converted first *)
let y = R.alpha D.mem e y in
map_bind st e a y b out tab; D.EBind (e, a, y, b)
(* NOTE: the inner binders are alpha-converted first *)
let y = R.alpha D.mem e y in
map_bind st e a y b out tab; D.EBind (e, a, y, b)