Comment by Terretta

4 months ago

The real mistake is Hoare not also offering a type for "na".

"No value" and "not applicable" are entirely different cases...