let
is_cons =
function
Product
(
Cons
), _
->
true
|
_
->
false