SBVParser encodes record types like the Cryptol->SAWCore translation does
SBVParser encodes record types like the Cryptol->SAWCore translation does

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