eBadSpace :: String
eBadSpace = "VTx: mismatch between VTx VSpace and PVar VSpace"
eBadSpace :: String
eBadSpace = "VTx: mismatch between VTx VSpace and PVar VSpace"
eBadSpace = "VTx: mismatch between VTx VSpace and PVar VSpace"