("9.3" ta6le ("28c4409065a3860b6c9b86acff833acf6f0d9490" . "9ec3cd0c726c0a8e4c01b4d218dd2aff118081af") (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"))
