let
sym_d_num =
function
Arith
(
Num
(q))
->
q
|
_
->
assert
false