HCode Datatypes

HCode Datatypes

• Set only primitive data type:

(deftype typeNameDef [set | compound ]) (deftype typeNameDef (set e1 e2 ... en))

• Two special values which are used with all sets:
  * - any of the values ei, I don't care which (the universal set) ~ - none of the values ei ("unspecified") (the empty set)

  Previous slide

  Next slide

  Back to the first slide

  View Graphic Version