6.3 Nihils

Never use nil directly in identity relations; it is very error prone. It is better to define nihils for all reference modes that are likely to appear in one.

Examples:

mode Node = ...;
ref Node no_node = nil;
while n :/=: no_node do ... od