src/contract.js
function defineProperties(obj) {
    Object.defineProperties(obj, {
        "pre": {
            value: Contract.pre,
            configurable: true
        },
        "post": {
            value: Contract.post,
            configurable: true
        },
        "invariant": {
            value: Contract.invariant,
            configurable: true
        }
    });
}
function defineProperties(obj) {
    Object.defineProperties(obj, {
        "pre": {
            value: Contract.pre,
            configurable: true
        },
        "post": {
            value: Contract.post,
            configurable: true
        },
        "invariant": {
            value: Contract.invariant,
            configurable: true
        }
    });
}
function defineProperties ( obj ) { Object . defineProperties ( obj , { "pre" : { value : Contract . pre , configurable : true } , "post" : { value : Contract . post , configurable : true } , "invariant" : { value : Contract . invariant , configurable : true } } ) ; }
Define the pre, post & invariant objects onto an object.
Define the pre post & invariant objects onto an object .