翻译REPL模块的pst函数