denutoDesign by contract for JavaScriptdesigncontractinvariantrequiresensuresadaeiffel0.1.2 • Published 6 years ago