exactness (3.6.3)

Why is exactness attached to a definition of a type rather than to a
reference to a type?

James

Received on Saturday, 18 December 1999 03:24:00 UTC