mv-symbol-pool (cargo): A static, global string table for Move tools
Keywords: blockchain