Re: Default type and named type?

[ori@xxxxxxxxxxxxxx]

> In the section 4.5.3 "Delayed Unification" of the spec https://myrlang.org/spec,
> what does the following statement mean?
> 
>>As a special case, a union type declared with the form
>>
>>           type u = union
>>                    `Foo
>>           ;;
>>            will have the default type set to the named type, and not the
>>            union itself.
> 
> What does it mean by the "named type"?

'x = `Foo', x will have type 'u' instead of type 'union `Foo ;;'.