let
is_const v =
match
v.var_def.vd_value
with
|
Some
_
->
true
|
None
->
false