sigmastate
THRESHOLD connector for sigma propositions
Unique id of the node class used in serialization of SigmaBoolean.
Size of the proposition tree (number of nodes).
THRESHOLD connector for sigma propositions