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_parametersandtype_ident_and_parameters The question is: what's the difference between these two values? --Jacques L.