-val pd:PrettyPrint.device={consumer=print，linewidth=Fn.const 80，flush=Fn（）=>TextIO.flushOut TextIO.stdOut}；val pd={消费者=fn，刷新=fn、线宽=fn}：？。PrettyPrint.PP设备-val dec=SmlFile.parse（Source.newSource（“demo”，TextIO.openString“case 0 of 0=>0”，false，ErrorMsg.defaultConsumer（））；val下降=序号12[MarkDec公司（ValDec（[Vb{exp=MarkExp#，lazyp=false，pat=VarPat#}]，[]），（2,18））：Ast.dec-let val strm=PPAst.ppDec中的PrettyPrint.openStream pd NONE strm（dec，6）before PrettyPrint.closeStream strm end；验证一下=（案例0)valit=（）：单位