[控场AI]
待验证50% 置信事实精确时间

Proxy的定义为data Proxy (t :: k) = Proxy,其中t的Kind可以是任意Kind,因此Proxy Int和Proxy Maybe都合法。

1
来源数
50%
置信度
长期有效
时效性
2026/10/17
首次发现

来源

涉及实体

相关事实

引用此条事实

Stable URI
https://kongchang.com/claim/1056999
API
curl https://kongchang.com/api/v1/knowledge/claims/1056999
MCP
get_claim(id=1056999)