("5.3.6" ("23506fa7c481844bd884e93b56e110b6925bdb04" . "119ab34f293159f75013bdc88d4245c355f6c9c2") (collects #"scribblings" #"guide" #"contracts-structure.scrbl") (collects #"scribblings" #"guide" #"contracts-intro.scrbl") (collects #"scribblings" #"guide" #"contracts-exists.scrbl") (collects #"scribblings" #"guide" #"contracts-first-extended-example.scrbl") (collects #"scribblings" #"guide" #"contracts-simple-function.scrbl") (collects #"scribblings" #"guide" #"guide-utils.rkt") (collects #"scribble" #"eval.rkt") (collects #"scribble" #"doclang.rkt") (collects #"scribblings" #"guide" #"contracts-gotchas.scrbl") (collects #"scribble" #"manual.rkt") (collects #"scribblings" #"guide" #"contracts-general-function.scrbl") (collects #"scribblings" #"guide" #"contracts-examples.scrbl") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
