("8.17" ta6le ("28c4409065a3860b6c9b86acff833acf6f0d9490" . "fd69922ae0590af30c1ed27e712c346a88115619") (collects #"eopl" #"lang" #"reader.rkt") (collects #"eopl" #"main.rkt") (collects #"eopl" #"tests" #"chapter8" #"abstract-types-lang" #"checker.rkt") (collects #"eopl" #"tests" #"chapter8" #"abstract-types-lang" #"expand-type.rkt") (collects #"eopl" #"tests" #"chapter8" #"abstract-types-lang" #"lang.rkt") (collects #"eopl" #"tests" #"chapter8" #"abstract-types-lang" #"static-data-structures.rkt") (collects #"eopl" #"tests" #"chapter8" #"abstract-types-lang" #"subtyping.rkt") (collects #"racket" #"main.rkt"))
