"Jason Voegele" <jason / jvoegele.com> writes:

> Would it be possible to document pre, post, and invariant blocks for
> modules that use the Design By Contract package?  This being half
> the point of DBC, I think it would be great if it could. ;-)

That's a great idea.

How many people are using the dbc package?


Dave