defenum-tests

(in-package "STD")

(include-book "defenum")

(local (encapsulate nil
    (defenum day-p
      (:monday :tuesday :wednesday :thursday :friday :saturday :sunday))
    (defenum chartest-p (#\a #\b #\c))
    (defenum strsymtest-p
      ("foo" "bar" foo bar))
    (defenum universal-ts-test-p
      (0 1
        -1
        1/2
        -1/2
        #C(3 4)
        nil
        t
        foo
        (1 . 2)
        (1)
        "foo"
        #\a))))