denuto (npm): Design by contract for JavaScript
Keywords: design|contract|invariant|requires|ensures|ada|eiffel|dbc|decorators|invariants|postcondition|precondition