Hello list,
how does one define type parameter syntax with camlp4?
right now I'm using:
test:
[[
"mytype" ; options = OPT parameters ; ident = a_LIDENT; "=" ; ctyp -> (ident,atoms)
]];
parameters:
[
["(";params = comma_type_parameter;")" -> params]
|
[tp = type_parameter -> tp ]];
Is this the right way to do it or has parameters already been defined elsewhere?
--Jacques L.