("8.17" ta6le ("cf967d00e35cfa218e320718934c81ef260be78c" . "d90b82f2e4a100556658ee991e13f9e1c6c17049") (collects #"eopl" #"lang" #"reader.rkt") (collects #"eopl" #"main.rkt") (collects #"eopl" #"tests" #"chapter9" #"typed-oo" #"lang.rkt") (collects #"eopl" #"tests" #"chapter9" #"typed-oo" #"static-classes.rkt") (collects #"eopl" #"tests" #"chapter9" #"typed-oo" #"static-data-structures.rkt"))
