let
is_fresh =
function
|
Var
(x)
->
Var
.is_fresh x
|
_
->
false