From: Kevlin Henney (Kevlin.Henney_at_[hidden])
Date: 2000-01-12 00:37:38


>"r.m is defined if t.m is well defined, where t is an instance of the the
>value type and r is a reference to it"

Hmm, on rereading, the following is better:

"r.m is defined if t.m is well defined, where t is an instance of the the
value type and r is an instance of the reference type"

Kevlin