Wiki. 真值 [真值]

定义

真值是 $(-1)$-截断类型.