Public / Private 可见性

语法

当前方向是：

• 默认导出
• private 显式收窄

语义

可见性决定：

• 哪些名字可被 use 导入
• 哪些名字只在本地实现细节中可见
• namespace 边界上的重导出行为

level-1 的可见性按 namespace 生效，而不是按文件生效。

在跨 namespace 使用时，除显式 private 外，item 默认可见。

data 的 field 与 constructor 也遵循同一可见性故事；默认可暴露，private 可单独收窄。

constructor 名字冲突不通过“文件私有化”规避，而是通过按类型限定的解析路径处理。

Usage

namespace demo.math

data Option[T] {
	Some(T)
	None
}

private def hidden(): i32 = 0

def public_value(): i32 = 1

namespace demo.app

use demo.math

def main(): i32 = {
	let x = Option.Some(1)
	match x {
		Option.Some(v) => return v
		Option.None => return 0
	}
}

注释：跨 namespace 时，public_value 和 Option 默认可见；hidden 因为 private 不可见。constructor 采用按类型限定路径参与解析，避免不同 data 的同名 constructor 在导入后直接冲突。