I am not sure what you want. Supposing that there is a function 'a expr -> 'a, if you want to have a list of production with different inner expressions, you could define a production as
type 'r production =
| P: { name: string; rule: 'a expr; action:
Top comments (1)
Hey there,
Have you considered giving your posts a more detailed title? Maybe something like:
answer re: Existential types for inline record constructors with constraints
... with all of your posts titled the same thing, it must be difficult to search between them.
Anyway, just a thought — hope it's helpful!