let
is_term_var (term: term) : bool =
match
term
with
|
Var
_
->
true
|
_
->
false