Dear List, With regard to the last post, I've found the solution to my problem. The parts of the grammar are type_longident_and_parameters and type_ident_and_parameters The question is: what's the difference between these two values? --Jacques L.