Filtering...

portcullis

books/centaur/vl/portcullis
other
(in-package "VL")
other
(include-book "tools/safe-case" :dir :system)
other
(include-book "xdoc/top" :dir :system)
other
(include-book "tools/rulesets" :dir :system)
casemacro
(defmacro case (&rest args) `(safe-case . ,VL::ARGS))
concatenatemacro
(defmacro concatenate
  (&rest args)
  `(fast-concatenate . ,VL::ARGS))
enablemacro
(defmacro enable
  (&rest args)
  `(enable* . ,VL::ARGS))
disablemacro
(defmacro disable
  (&rest args)
  `(disable* . ,VL::ARGS))
e/dmacro
(defmacro e/d (&rest args) `(e/d* . ,VL::ARGS))