Loading...
unknown-type ::= 'unk'
A value of type unk can only be assigned to a location of type unk or any.
unk
any
variable-type ::= 'type' lower-identifier variable-type-constraint? variable-type-constraint ::= ':' union-type