SML中的local

local声名很像let表达式：

local a in b end

a表达式只在b中可见，在外面不可见。

local唯一的用途就是隐藏声名。