1 import CW9c._

     2 

     3 assert(nullable(ZERO) == false)

     4 assert(nullable(ONE) == true)

     5 assert(nullable(CHAR('a')) == false)

     6 assert(nullable(ZERO | ONE) == true)

     7 assert(nullable(ZERO | CHAR('a')) == false)

     8 assert(nullable(ONE ~  ONE) == true)

     9 assert(nullable(ONE ~ CHAR('a')) == false)

    10 assert(nullable(STAR(ZERO)) == true)

    11