Definition:
(defconst *vl-very-simple-type-table* (list (cons :vl-kwd-byte (hons-copy (make-vl-atom :guts (make-vl-basictype :kind :vl-byte)))) (cons :vl-kwd-shortint (hons-copy (make-vl-atom :guts (make-vl-basictype :kind :vl-shortint)))) (cons :vl-kwd-int (hons-copy (make-vl-atom :guts (make-vl-basictype :kind :vl-int)))) (cons :vl-kwd-longint (hons-copy (make-vl-atom :guts (make-vl-basictype :kind :vl-longint)))) (cons :vl-kwd-integer (hons-copy (make-vl-atom :guts (make-vl-basictype :kind :vl-integer)))) (cons :vl-kwd-time (hons-copy (make-vl-atom :guts (make-vl-basictype :kind :vl-time)))) (cons :vl-kwd-bit (hons-copy (make-vl-atom :guts (make-vl-basictype :kind :vl-bit)))) (cons :vl-kwd-logic (hons-copy (make-vl-atom :guts (make-vl-basictype :kind :vl-logic)))) (cons :vl-kwd-reg (hons-copy (make-vl-atom :guts (make-vl-basictype :kind :vl-reg)))) (cons :vl-kwd-shortreal (hons-copy (make-vl-atom :guts (make-vl-basictype :kind :vl-shortreal)))) (cons :vl-kwd-real (hons-copy (make-vl-atom :guts (make-vl-basictype :kind :vl-real)))) (cons :vl-kwd-realtime (hons-copy (make-vl-atom :guts (make-vl-basictype :kind :vl-realtime))))))
Value:
((:vl-kwd-byte :atom ((:vl-basictype . :vl-byte))) (:vl-kwd-shortint :atom ((:vl-basictype . :vl-shortint))) (:vl-kwd-int :atom ((:vl-basictype . :vl-int))) (:vl-kwd-longint :atom ((:vl-basictype . :vl-longint))) (:vl-kwd-integer :atom ((:vl-basictype . :vl-integer))) (:vl-kwd-time :atom ((:vl-basictype . :vl-time))) (:vl-kwd-bit :atom ((:vl-basictype . :vl-bit))) (:vl-kwd-logic :atom ((:vl-basictype . :vl-logic))) (:vl-kwd-reg :atom ((:vl-basictype . :vl-reg))) (:vl-kwd-shortreal :atom ((:vl-basictype . :vl-shortreal))) (:vl-kwd-real :atom ((:vl-basictype . :vl-real))) (:vl-kwd-realtime :atom ((:vl-basictype . :vl-realtime))))