On Sun, Dec 08, 2002 at 11:28:24AM +1100, Damian Conway wrote: > We could certainly do that. But let's call it C<part>.
I usually just lurk here, but I just had to pipe in. :) I'm not sure the meaning of the name C<part> would be obvious to someone who hadn't seen it before. I keep thinking C<sift> would be nice, or maybe C<discrim>. Just a thought... - Ian.