(define-type dg-id-t b64)
(define-type dg-type-id-t b16)
(define-type dg-ordinal-t b32)

(pre-define
  dg-id-max UINT64_MAX
  dg-size-id (sizeof dg-id-t)
  dg-size-type-id (sizeof dg-type-id-t)
  dg-size-ordinal (sizeof dg-ordinal-t))

(pre-define (dg-id-equal? a b) (= a b))

(pre-define (dg-id-compare a b)
  (if* (< a b)
    -1
    (> a b)))