All public bindings come from this module

This commit is contained in:
Jay McCarthy 2011-04-26 16:32:26 -06:00
parent 9740d5542b
commit c47a16c89b

View File

@ -1,9 +1,3 @@
#lang racket/base
(require tests/utils/docs-complete)
(check-docs (quote datalog/stx))
(check-docs (quote datalog/runtime))
(check-docs (quote datalog/pretty))
(check-docs (quote datalog/parse))
(check-docs (quote datalog))
(check-docs (quote datalog/eval))
(check-docs (quote datalog/ast))