zero-or-one(), one-or-more(), exactly-one()

The type of each of these three functions is underspecified. In all 
three cases, we are told, "The type of the result depends on the type of 
$arg." None of these functions tells us how to determine the type of the 
result from the type of $arg.

Jonathan

Received on Tuesday, 10 February 2004 16:48:29 UTC