Module: Generator::Globals

Defined in:

lib/rubysol/generator.rb

Overview

add global contract function to lookup AND typecheck

       contracts using  Contract.at 
add via Module and Kernel - why? why not?