Gergely Buday wrote:
> do I understand correctly that {} is a synonim for the unit type? Basis.urs says
>
> type unit = {}
>
Yes, though I'd say it the other way: [unit] is a synonym for [{}],
which is just a degenerate instance of the syntax for record types. (I
lifted this convention directly from SML.)