#|
Implements ACL2 keywords.
|#
(module acl2-top mzscheme
  (require-for-syntax (file "syntax-checks.scm"))
  (provide acl2-top)
  
  (define-syntax (acl2-top stx)
    (syntax-case stx ()
      [(_ . id)
       (keyword-syntax? #'id)
       (syntax/loc stx (#%datum . id))]
      
      [(_ . id)
       (syntax/loc stx (#%top . id))]))
  )