plum-umd/rdl

rdl - Types, type checking, and contracts for Ruby