nicoolas25/ruby_contracts — pull request #5 by jjttcc (2013-06-26 05:12:43+00:00)
Title: Added implies function and a couple test cases for it.

Nicolas - I've added a boolean implies function, which is useful sometimes for pre and postconditions; also added a couple test cases for it. It seems to belong in dsl.rb, but if you think it should go somewhere else, that's fine.
Thanks.