Used to define contracts on functions passed in as arguments. Example:
Func[Num => Num] # the function should take a number and return a
number
# File lib/contracts/builtin_contracts.rb, line 533 def initialize(*contracts) @contracts = contracts end