let
var_type_of_lvar =
function
|
{lv_origin =
Some
x}
->
Cv
x
|
l
->
Lv
l