test.rb

require "bundler/inline"

gemfile do
  source "https://rubygems.org"
  gem "contracts"
end

include Contracts

Contract Num => 0
def fib(n)
  0
end

Contract Num, Num => 1
def fib(x, y)
  1
end

puts fib(1)
puts fib(2,3)