let
int_of_value =
function
|
M
.
V_int
(_,t)
->
t
|
_
->
assert
false