Export type-checker types into the representation for the next pass.
Export type-checker types into the representation for the next pass.

GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script