The zero value of a declared type (expression spec, Host functions): what an invalid function result evaluates to, so evaluation stays total. Optionals are null; an enum is its first declared member.
The zero value of a declared type (expression spec, Host functions): what an invalid function result evaluates to, so evaluation stays total. Optionals are null; an enum is its first declared member.