let
sym_is_expt =
function
Pp
(
Mult
)
->
true
|
_
->
false