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

itamar@maxnm.com itamar@maxnm.com
Sat, 17 Mar 2001 00:23:25 +0200 (IST)


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.


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