--- !ruby/object:RI::ClassDescription 
attributes: []

class_methods: []

comment: 
constants: []

full_name: WadlerExample
includes: []

instance_methods: []

name: WadlerExample
superclass: Test::Unit::TestCase
