let
sym_is_cons =
function
Pair
(
Cons
)
->
true
|
_
->
false