let
mk_lvar_addr v =
match
v.lv_origin
with
|
None
->
assert
false
|
Some
cv
->
mk_cvar_addr cv