[Types-sig] Pre- And post-conditions for Interfaces

[itamar@maxnm.com]

Hi,

I've written a sample implementation of optionally enforcable pre and post
conditions, based off Michel's interface code. Integration with the
documentation generator would make them even more useful. Please check
them out and mail me 9I'm not yet subscribed) suggestions or rants.

http://itamarst.org/downloads/prepost-interfaces-0.1.tar.gz

-- 
Itamar Shtull-Trauring, http://itamarst.org