I'm looking at the following code:
type (_, _, _) t = ..
and can't find anything about it
I'm looking at the following code:
type (_, _, _) t = ..
and can't find anything about it
It's an extensible variant type.
A variant type that can be extended later on. Copying the example from the doc:
type attr = ..
type attr += Str of string
type attr +=
| Int of int
| Float of float