let
sym_is_num =
function
Arith
(
Num
_)
->
true
|
_
->
false