Rules for adjust-type.
These serve to adjust types when building the initial scope of a function.
Theorem:
(defthm adjust-type-of-type-array-of-type-schar (equal (adjust-type (type-array (type-schar) size)) (type-pointer (type-schar))))
Theorem:
(defthm adjust-type-of-type-array-of-type-uchar (equal (adjust-type (type-array (type-uchar) size)) (type-pointer (type-uchar))))
Theorem:
(defthm adjust-type-of-type-array-of-type-sshort (equal (adjust-type (type-array (type-sshort) size)) (type-pointer (type-sshort))))
Theorem:
(defthm adjust-type-of-type-array-of-type-ushort (equal (adjust-type (type-array (type-ushort) size)) (type-pointer (type-ushort))))
Theorem:
(defthm adjust-type-of-type-array-of-type-sint (equal (adjust-type (type-array (type-sint) size)) (type-pointer (type-sint))))
Theorem:
(defthm adjust-type-of-type-array-of-type-uint (equal (adjust-type (type-array (type-uint) size)) (type-pointer (type-uint))))
Theorem:
(defthm adjust-type-of-type-array-of-type-slong (equal (adjust-type (type-array (type-slong) size)) (type-pointer (type-slong))))
Theorem:
(defthm adjust-type-of-type-array-of-type-ulong (equal (adjust-type (type-array (type-ulong) size)) (type-pointer (type-ulong))))
Theorem:
(defthm adjust-type-of-type-array-of-type-sllong (equal (adjust-type (type-array (type-sllong) size)) (type-pointer (type-sllong))))
Theorem:
(defthm adjust-type-of-type-array-of-type-ullong (equal (adjust-type (type-array (type-ullong) size)) (type-pointer (type-ullong))))
Theorem:
(defthm adjust-type-of-type-schar (equal (adjust-type (type-schar)) (type-schar)))
Theorem:
(defthm adjust-type-of-type-uchar (equal (adjust-type (type-uchar)) (type-uchar)))
Theorem:
(defthm adjust-type-of-type-sshort (equal (adjust-type (type-sshort)) (type-sshort)))
Theorem:
(defthm adjust-type-of-type-ushort (equal (adjust-type (type-ushort)) (type-ushort)))
Theorem:
(defthm adjust-type-of-type-sint (equal (adjust-type (type-sint)) (type-sint)))
Theorem:
(defthm adjust-type-of-type-uint (equal (adjust-type (type-uint)) (type-uint)))
Theorem:
(defthm adjust-type-of-type-slong (equal (adjust-type (type-slong)) (type-slong)))
Theorem:
(defthm adjust-type-of-type-ulong (equal (adjust-type (type-ulong)) (type-ulong)))
Theorem:
(defthm adjust-type-of-type-sllong (equal (adjust-type (type-sllong)) (type-sllong)))
Theorem:
(defthm adjust-type-of-type-ullong (equal (adjust-type (type-ullong)) (type-ullong)))
Theorem:
(defthm adjust-type-of-type-struct (equal (adjust-type (type-struct tag)) (type-struct tag)))
Theorem:
(defthm adjust-type-of-type-pointer (equal (adjust-type (type-pointer type)) (type-pointer type)))