("8.17" ta6le ("2f1e92380c3ac7cbc07b118622dad385a0dbe67f" . "4fea1359e7a0db22e7435a94252acd01bc750498") (collects #"eopl" #"lang" #"reader.rkt") (collects #"eopl" #"main.rkt") (collects #"eopl" #"tests" #"chapter8" #"abstract-types-lang" #"check-modules.rkt") (collects #"eopl" #"tests" #"chapter8" #"abstract-types-lang" #"data-structures.rkt") (collects #"eopl" #"tests" #"chapter8" #"abstract-types-lang" #"interp.rkt") (collects #"eopl" #"tests" #"chapter8" #"abstract-types-lang" #"lang.rkt") (collects #"eopl" #"tests" #"private" #"utils.rkt"))
