unfold

Stephen Weeks MLton@sourcelight.com
Mon, 30 Jul 2001 17:57:15 -0700


> `new unfold' meaning the one with the option?

Yes.