import SFLean4.LF.Maps

《软件基础》卷二 (PLF) - 映射库桥接 (Maps)

本模块直接继承并再导出卷一 SFLean4.LF.Maps 中定义的偏映射与全域映射， 确保第二卷所有后续章节能够无缝使用相同的映射基础设施。

namespace PLF

open Maps

end PLF