Yet another question ....
I was assuming you oculd ask the type of an expression in camlp4 to do
an induction over it (the type) ....
I do not see that in the manual !
(you can only construct trees with camlp4, but you cannot match them ?)