("8.17" ta6le ("fa440e298cdae59d877cb399b6a933c792796c9b" . "cb21ed4846daa974823a9dc0f31716bb97d78315") (collects #"eopl" #"lang" #"reader.rkt") (collects #"eopl" #"main.rkt") (collects #"eopl" #"tests" #"chapter7" #"inferred" #"data-structures.rkt"))
