/** * 契约式设计 * * @module dbc * @main dbc */ module.exports.DesignByContract = require('./lib/DesignByContract');