let
is_formal_var_type =
function
|
Cv
x
->
x.vformal
|
Lv
lv
->
LogicParam
.mem lv
|
Prop
->
false