defined mkCtorArgStruct and all of the helper functions it requires
defined mkCtorArgStruct and all of the helper functions it requires

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