Skip to main content

Module declare

Module declare 

Source
Expand description

一片叶对自己的声明:属于哪个计算家族、哪些地方算得准、有哪些流派。

这一组是「供给侧」的自述——与 crate::intent 的需求侧对偶: 那边说「有哪几类问局」,这边说「这片叶答得起什么、答到什么程度」。

Structs§

DetItem
确定性谱的一项:某计算方面的确定性等级与说明。
SchoolItem
叶的一个流派。

Enums§

Determinism
确定性谱:标注一项计算是确定算的、随机可复现的、还是流派欠定。
Family
计算家族。

Functions§

d
构造 DetItem 的简写。
s
构造 SchoolItem 的简写。