DBC
Simple design-by-contract support using camlp4.
[ Homepage ]
| Author: | Shawn Wagner. |
| Last modification date: | 10-May-2002 |
| Version: | 1.0.0 |
| Development status: | Beta |
| Kind: | Camlp4 extensions |
| License: | Public Domain |
| Homepage: | http://raevnos.pennmush.org/code/ocaml.html |