;;-*-Lisp-*-
(in-package goal)

;; definition of type time-frame
(deftype time-frame (int64)
  ()
  :method-count-assert 9
  :size-assert         #x8
  :flag-assert         #x900000008
  )

;; definition of type part-id
(deftype part-id (uint32)
  ()
  :method-count-assert 9
  :size-assert         #x4
  :flag-assert         #x900000004
  )

;; failed to figure out what this is:
0
