let
sym_is_car =
function
Pair
(
Car
)
->
true
|
_
->
false