("9.3" ta6le ("6a49cd27c11afd1743f7d139696bf947a9764a7b" . "54be6a3b16cec725e2e6dba87782821ab6021069") (collects #"racket" #"base.rkt") (collects #"racket" #"contract.rkt") (collects #"racket" #"dict.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"redex" #"private" #"error.rkt") (collects #"redex" #"private" #"generate-term.rkt") (collects #"redex" #"private" #"judgment-form.rkt") (collects #"redex" #"private" #"lang-struct.rkt") (collects #"redex" #"private" #"matcher.rkt") (collects #"redex" #"private" #"reduction-semantics.rkt") (collects #"redex" #"private" #"rg.rkt") (collects #"redex" #"private" #"term.rkt"))
